KevinMidboe/linguist
1
0
Fork 0
mirror of https://github.com/KevinMidboe/linguist.git synced 2026-01-15 05:45:32 +00:00
Code Issues Packages Projects Releases Wiki Activity
Files
ae8f4f9228e9a8c460aa3d4920072883d75b28be
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