diff options
| author | Frederik Rietdijk <fridh@fridh.nl> | 2019-07-11 09:40:10 +0200 |
|---|---|---|
| committer | Frederik Rietdijk <fridh@fridh.nl> | 2019-07-11 09:40:10 +0200 |
| commit | 22cb7f25f2f939a5e38f5e0c0920a743c37a9480 (patch) | |
| tree | 0f40b2088d8ffcaab6d43cda6a4ee92931a35a83 /doc/languages-frameworks/coq.xml | |
| parent | 6049c39bdb3d8bfc01e2a86d2fc6ef6e46f9b0be (diff) | |
| parent | 08b828d1c5169c08bce148df53cb1215b58e64d0 (diff) | |
| download | nixlib-22cb7f25f2f939a5e38f5e0c0920a743c37a9480.tar nixlib-22cb7f25f2f939a5e38f5e0c0920a743c37a9480.tar.gz nixlib-22cb7f25f2f939a5e38f5e0c0920a743c37a9480.tar.bz2 nixlib-22cb7f25f2f939a5e38f5e0c0920a743c37a9480.tar.lz nixlib-22cb7f25f2f939a5e38f5e0c0920a743c37a9480.tar.xz nixlib-22cb7f25f2f939a5e38f5e0c0920a743c37a9480.tar.zst nixlib-22cb7f25f2f939a5e38f5e0c0920a743c37a9480.zip | |
Merge master into staging-next
Diffstat (limited to 'doc/languages-frameworks/coq.xml')
0 files changed, 0 insertions, 0 deletions