KevinMidboe/linguist
1
0
Fork 0
mirror of https://github.com/KevinMidboe/linguist.git synced 2025-12-08 12:28:47 +00:00
Code Issues Packages Projects Releases Wiki Activity
Files
7c404e72d24db44097140072ed265aeee36f3495
linguist/samples/Isabelle ROOT/filenames
History
Gerwin Klein f18ae4f99f add support for Isabelle ROOT file syntax
2014-12-27 10:13:02 +11:00
..
ROOT
add support for Isabelle ROOT file syntax
2014-12-27 10:13:02 +11:00