diff options
| author | Enrico Tassi | 2021-01-06 14:31:34 +0100 |
|---|---|---|
| committer | Enrico Tassi | 2021-01-27 09:45:49 +0100 |
| commit | b9bac1d7ef4a4c06ebe842ffd9aac322186a65d3 (patch) | |
| tree | f29e86bd00ca4ad1ec0d4d1e45b1b523957a665a /sysinit/usage.ml | |
| parent | 4c4d6cfacf92b555546055a45edc19b68245b83c (diff) | |
[coqc] move -output-context from sysinit/coqargs to coqc proper
Diffstat (limited to 'sysinit/usage.ml')
0 files changed, 0 insertions, 0 deletions