diff options
| author | Jonas Schievink <[email protected]> | 2021-05-19 19:19:08 +0100 |
|---|---|---|
| committer | Jonas Schievink <[email protected]> | 2021-05-19 19:19:08 +0100 |
| commit | ea8555b1552f6c08043f84885e47a196320da376 (patch) | |
| tree | 6a9644cf1375b42885cdf4680476720ce6fbd0cc /.gitignore | |
| parent | c7196620abd5e9bab4fbd53388da361f0f6987a1 (diff) | |
Simplify eager macro representation
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions