diff options
| author | Théo Zimmermann | 2018-10-12 14:41:03 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2018-10-12 14:41:03 +0200 |
| commit | 235cb6e6c243863b7270d273ceeef681eb350247 (patch) | |
| tree | a603df14b53f4ec814599d4538e14ee2ac41bea5 /engine | |
| parent | ac367afcd656ae37bcb729b39c595458d44b8584 (diff) | |
| parent | 0979dade7cbfcdffa6550530de6d750c1b578cf5 (diff) | |
Merge PR #8714: Documenting -arg in _CoqProject.
Diffstat (limited to 'engine')
0 files changed, 0 insertions, 0 deletions