diff options
| author | Gaëtan Gilbert | 2019-02-07 12:33:47 +0100 |
|---|---|---|
| committer | Gaëtan Gilbert | 2019-02-12 17:16:39 +0100 |
| commit | f4621cc6774571efed498c58962b50bcaec12793 (patch) | |
| tree | 304042039411ada87f8941ba56e3ff5c7254e075 /dev/include | |
| parent | 7104904f9f6e1a5e1b1590bd898ae20cb7178daf (diff) | |
Fix failing coqtops in cic.rst
Diffstat (limited to 'dev/include')
0 files changed, 0 insertions, 0 deletions