public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

doc: convert coq to commonmark

Browse Source
This commit is contained in:
Stephen OBrien
2020-11-27 08:13:55 +00:00
parent 4e5342cce4
commit a7e9047db3
3 changed files with 41 additions and 53 deletions
Download Patch File Download Diff File Expand all files Collapse all files
doc/languages-frameworks/index.xml
+1 -1
View File
@@ -9,7 +9,7 @@
<xi:include href="android.section.xml" />
<xi:include href="beam.section.xml" />
<xi:include href="bower.xml" />
<xi:include href="coq.xml" />
<xi:include href="coq.section.xml" />
<xi:include href="crystal.section.xml" />
<xi:include href="emscripten.section.xml" />
<xi:include href="gnome.xml" />