diff options
author | Maxime Dénès <mail@maximedenes.fr> | 2017-05-30 22:14:15 +0200 |
---|---|---|
committer | Maxime Dénès <mail@maximedenes.fr> | 2017-05-30 22:14:15 +0200 |
commit | bcc9165aec1a80d563d7060ef127ad022e9ed008 (patch) | |
tree | 1f782f2289565ea76bb62c85f9520bb1970af1a5 /engine/eConstr.ml | |
parent | fd36c0451c26e44b1b7e93299d3367ad2d35fee3 (diff) | |
parent | 88160e4186b3a96632806d35472a7d0b05087f47 (diff) |
Merge PR#706: Add some test-suite generated files to .gitignore
Diffstat (limited to 'engine/eConstr.ml')
0 files changed, 0 insertions, 0 deletions