KevinMidboe/linguist
1
0
Fork 0
mirror of https://github.com/KevinMidboe/linguist.git synced 2025-12-07 20:08:48 +00:00
Code Issues Packages Projects Releases Wiki Activity
Files
0c38df47b9b82deaa1327962e581cc9388d12946
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