diff options
| author | Thomas Letan <lthms@soap.coffee> | 2020-12-11 23:19:02 +0100 |
|---|---|---|
| committer | Thomas Letan <lthms@soap.coffee> | 2020-12-11 23:28:02 +0100 |
| commit | 20f1ef7668a6332108fc39761c3b00880a043a6d (patch) | |
| tree | 1640db18f537c0cba596beeb17ac7bdf5c5838ae /site | |
| parent | Link to Coq dependencies’ documentation (diff) | |
Update gitignore
Diffstat (limited to 'site')
0 files changed, 0 insertions, 0 deletions