diff options
| author | Lasse Blaauwbroek | 2020-12-16 09:12:02 +0100 |
|---|---|---|
| committer | Lasse Blaauwbroek | 2020-12-16 17:55:17 +0100 |
| commit | 4081777e099ebc5770dfcd700bff44d5dbf26a14 (patch) | |
| tree | dbfa3fd92050e544405e1445ede21874686ed723 /dev | |
| parent | 1c400a19aeb70842453f83a26f5abafc59901242 (diff) | |
Add -q flag to coqrst python invocation of coqtop
This will help with reproducibility for people who have something in their coqrc file.
Co-authored-by: Théo Zimmermann <theo.zimmi@gmail.com>
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions