diff options
| author | Quentin Aristote <quentin@aristote.fr> | 2021-12-08 00:13:23 +0100 |
|---|---|---|
| committer | Quentin Aristote <quentin@aristote.fr> | 2021-12-08 00:13:23 +0100 |
| commit | fe373a85eada4ea3766776398edc045fef70abd1 (patch) | |
| tree | 5a4bfeae3cf700951a3c04ff383ea90bc53b53dc /README.org | |
| parent | 70c18b3bde531110e945ccb8e241c852a02cba74 (diff) | |
add option to specify rc (commands prepended to any coq file)
Diffstat (limited to 'README.org')
0 files changed, 0 insertions, 0 deletions