diff options
| author | Denis Defreyne <denis.defreyne@stoneship.org> | 2016-10-23 15:05:29 +0200 |
|---|---|---|
| committer | Denis Defreyne <denis.defreyne@stoneship.org> | 2016-10-23 15:05:29 +0200 |
| commit | 2736857d9bf43b23c2e9c6475d0d3136d34e5c61 (patch) | |
| tree | a88f5de355d83b6af88a4a5daa5948352b2b8797 /Agda.gitignore | |
| parent | 3cc7c492da3d5507569ef66366db7b27610124f6 (diff) | |
| download | gitignore-2736857d9bf43b23c2e9c6475d0d3136d34e5c61.tar.gz gitignore-2736857d9bf43b23c2e9c6475d0d3136d34e5c61.zip | |
Nanoc: Mention nanoc.yaml rather than config.yaml
Diffstat (limited to 'Agda.gitignore')
0 files changed, 0 insertions, 0 deletions