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