diff options
| author | Pierre Boutillier | 2014-09-18 10:00:14 +0200 |
|---|---|---|
| committer | Pierre Boutillier | 2014-09-18 10:58:24 +0200 |
| commit | e1f64f6cf69c4f97c106576d80853b7412ce2b06 (patch) | |
| tree | 909caf7516558a2bfd4ac5f1835d79b623393666 /dev/base_include | |
| parent | d9736dae4168927f735ca4f60b61a83929ae4435 (diff) | |
seems to fix a looping coq-tex (when compiled with camlp4)
Diffstat (limited to 'dev/base_include')
0 files changed, 0 insertions, 0 deletions