diff options
| author | Théo Zimmermann | 2019-05-22 23:30:07 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2019-05-23 16:27:34 +0200 |
| commit | c51f3ea0070e08f66d5a2be6973f707342a8aa35 (patch) | |
| tree | 0517dfcf2f8f305cc3aa6351f3b535f31b77768b /dev/ci/ci-basic-overlay.sh | |
| parent | e7628797fc241a4d7a5c1a5675cb679db282050d (diff) | |
Use new coqrst syntax for alternatives in SSReflect chapter.
Diffstat (limited to 'dev/ci/ci-basic-overlay.sh')
0 files changed, 0 insertions, 0 deletions