diff options
author | Pierre Boutillier <pierre.boutillier@ens-lyon.org> | 2014-04-08 20:12:36 +0200 |
---|---|---|
committer | Pierre Boutillier <pierre.boutillier@ens-lyon.org> | 2014-04-09 22:50:36 +0200 |
commit | b89502c9f2bf56ee89b7e280815c339ef7b8947c (patch) | |
tree | 35f9cd1d3371d52026e72c33c6b6c5480c05af27 /parsing/doc.tex | |
parent | 24ea28b87f0227582ae29ea6bb485812c6b641eb (diff) |
Revert "Revert part of eba6b75 as coq_makefile ignores -I if it overlaps with -R. (Fix for Rocq/Rational.)"
This reverts commit 7d3ce4012a53b123dac95381bf46aac65f865d69.
Conflicts:
CHANGES
Diffstat (limited to 'parsing/doc.tex')
0 files changed, 0 insertions, 0 deletions