diff options
| author | Sean Fisk <sean@seanfisk.com> | 2016-03-24 13:26:58 -0400 |
|---|---|---|
| committer | Sean Fisk <sean@seanfisk.com> | 2016-03-24 13:26:58 -0400 |
| commit | d80090a04a40a6376ddbbe1e46130947b8474069 (patch) | |
| tree | ed5f688daca1630e67135b1bb88ef38606a106c2 /Agda.gitignore | |
| parent | 7e93ef34489ba831766a6b56e67522fda0ed21fd (diff) | |
| download | gitignore-d80090a04a40a6376ddbbe1e46130947b8474069.tar.gz gitignore-d80090a04a40a6376ddbbe1e46130947b8474069.zip | |
Waf: Be more explicit in patterns
Diffstat (limited to 'Agda.gitignore')
0 files changed, 0 insertions, 0 deletions