diff options
| author | Paul Daniel Faria <[email protected]> | 2020-06-24 13:20:41 +0100 |
|---|---|---|
| committer | Paul Daniel Faria <[email protected]> | 2020-06-24 13:20:41 +0100 |
| commit | dfd79907b80e1a93b93e99aaf4d7af2a84c1c59f (patch) | |
| tree | 9c5689af22a63c318033d7e6c7dee75fe200d851 /.gitignore | |
| parent | 38af81f183504145bd3bf6ba5bc40b3e41e04593 (diff) | |
Use a macro in push_res to simplify code, simplify glob_shadowed_def assertion
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions