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

Merge pull request #105120 from wayofthepie/coq-to-commonmark

Browse Source 
doc: convert coq to commonmark
This commit is contained in:
Ryan Mulligan
2020-11-30 21:44:54 -08:00
committed by GitHub
parent a87ab948d2 a7e9047db3
commit 7812bf4535
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" />