diff options
| author | Pierre-Marie Pédrot | 2020-05-03 20:34:41 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2020-05-13 12:50:41 +0200 |
| commit | 3e04d6c024dd03878b0b487cf823f5586d6fd397 (patch) | |
| tree | 4be4f12a7979e1ed44d44b011feac7f770df81aa /dev | |
| parent | 67f0e9fd40dc2f7b30a8aec4c7efb032e61a001e (diff) | |
Store the OCaml version used for Coq in vo files.
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions