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