diff options
author | Maxime Dénès <mail@maximedenes.fr> | 2017-11-15 09:01:35 +0100 |
---|---|---|
committer | Maxime Dénès <mail@maximedenes.fr> | 2017-11-15 09:01:35 +0100 |
commit | a5d68eacf819959dc277e2e9ef9cc4a3e712f5fe (patch) | |
tree | e4778656cf0790340fb8ae6210ec30f1796038bc /test-suite/coq-makefile | |
parent | 72f9bc46d6df56f8a5d28acbd6c3cfb544cefcb3 (diff) | |
parent | 3c7fb16980d1d9a3d99b515462a9eff1a96f8766 (diff) |
Merge PR #6058: Remove redundant env argument to Reduction.ccnv
Diffstat (limited to 'test-suite/coq-makefile')
0 files changed, 0 insertions, 0 deletions