diff options
| author | Gaëtan Gilbert | 2019-02-12 14:39:43 +0100 |
|---|---|---|
| committer | Gaëtan Gilbert | 2019-02-12 14:39:43 +0100 |
| commit | 912e363c9152012ecbff5272cded46e75a2f3c33 (patch) | |
| tree | db8a6fdd6554e115e15501e98808f8b7196eb332 /dev | |
| parent | f1e54f2521bba13c59e89b4c06f2811866b5f92d (diff) | |
Fix doc for coqtop:: undo
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions