diff options
| author | Quentin Aristote <quentin@aristote.fr> | 2022-04-08 10:21:52 +0200 |
|---|---|---|
| committer | Quentin Aristote <quentin@aristote.fr> | 2022-04-08 10:21:52 +0200 |
| commit | 720481c8d437f2ba53326fa20957212d9dbea56f (patch) | |
| tree | a05f63099d6a61caf37622626bc345745a75a0ce /home/pkgs/fontMetadata | |
| parent | 5f2379ea1ad2d9a5db86973b49c41ac17218dfc5 (diff) | |
disable coqIde by default and coq loading in why3
Diffstat (limited to 'home/pkgs/fontMetadata')
0 files changed, 0 insertions, 0 deletions