KevinMidboe/linguist
1
0
Fork 0
mirror of https://github.com/KevinMidboe/linguist.git synced 2026-05-08 06:25:51 +00:00
Code Issues Packages Projects Releases Wiki Activity
Files
5d48ccd757e9baeed388ac869bb0dbf9cd78f3a6
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