KevinMidboe/linguist
1
0
Fork 0
mirror of https://github.com/KevinMidboe/linguist.git synced 2026-01-13 21:05:48 +00:00
Code Issues Packages Projects Releases Wiki Activity
Files
8c516655bc00c59d896ca031966d9010cd4c36aa
linguist/samples/Coq/JsNumber.v
Santiago M. Mola 1a6df12902 fix Coq sample JsNumber.v (#3710) 
It was fetched as HTML from GitHub instead of raw.
2017-07-10 09:41:36 +01:00

3.1 KiB
Raw Blame History

View Raw
Reference in New Issue View Git Blame Copy Permalink