diff options
| author | Pierre Boutillier | 2014-04-08 20:12:36 +0200 |
|---|---|---|
| committer | Pierre Boutillier | 2014-04-09 22:50:36 +0200 |
| commit | b89502c9f2bf56ee89b7e280815c339ef7b8947c (patch) | |
| tree | 35f9cd1d3371d52026e72c33c6b6c5480c05af27 /kernel/cbytecodes.mli | |
| 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 'kernel/cbytecodes.mli')
0 files changed, 0 insertions, 0 deletions