diff options
| author | Pierre Letouzey | 2016-07-12 16:32:12 +0200 |
|---|---|---|
| committer | Pierre Letouzey | 2016-07-12 16:32:12 +0200 |
| commit | ea25e8bcf64caac66bcbd33457ee91d56e80fea3 (patch) | |
| tree | 8721790bfca56abb893dbcb47d0908283d7076e3 /Makefile.dev | |
| parent | 72d9bf028d0cf40cb6c727c69bfbcc15aafc4944 (diff) | |
.gitignore: no more generated grammar/*.ml files
Diffstat (limited to 'Makefile.dev')
0 files changed, 0 insertions, 0 deletions