Sort .gitignore and ignore GenerateEverything (#1262)

rwe · web-flow · commit 5e7249c05d04 · 2020-07-26T09:48:02.000+08:00
diff --git a/.gitignore b/.gitignore
@@ -1,22 +1,23 @@
 # Keep this file in alphabetic order please!
-
-*~
-.*.swp
-*.agdai
+# Sort with the command `sort -uf`
 *.agda.el
-./_build/*
-.DS_Store
-*.lagda.el
+*.agdai
 *.hi
+*.lagda.el
 *.o
 *.tix
 *.vim
+*~
+.*.swp
+./_build/*
+.DS_Store
 dist
 dist-newstyle
 Everything.agda
 EverythingSafe.agda
 EverythingSafeGuardedness.agda
 EverythingSafeSizedTypes.agda
-html
+GenerateEverything
 Haskell
+html
 MAlonzo
