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