alphabetic sorting

2025-10-29 17:50:22 +00:00 · 2014-06-18 09:34:26 +02:00
parent d9f17a65dd
commit 947f4e1c57
1 changed files with 7 additions and 7 deletions
--- a/lib/linguist/languages.yml
+++ b/lib/linguist/languages.yml
@@ -987,13 +987,6 @@ IRC log:
  - .irclog
  - .weechatlog

-Isabelle:
-  type: programming
-  lexer: Text only
-  color: "#fdcd00"
-  extensions:
-  - .thy
-
 Io:
  type: programming
  color: "#a9188d"
@@ -1006,6 +999,13 @@ Ioke:
  extensions:
  - .ik

+Isabelle:
+  type: programming
+  lexer: Text only
+  color: "#fdcd00"
+  extensions:
+  - .thy
+
 J:
  type: programming
  lexer: Text only