Migrate ignore file.

(cherry picked from commit 8f4ab08841)
2020-01-30 19:19:26 +02:00 · 2020-01-30 19:19:26 +02:00 · 707ca163bf
parent 5b2587d704
commit 707ca163bf
1 changed files with 0 additions and 1 deletions
--- a/.gitignore
+++ b/.gitignore
@ -1,4 +1,3 @@
-syntax: glob
 # This line is a comment, and will be skipped.
 # Empty lines are skipped too.