*** /home/marc/latex.lang 2017-04-09 12:57:11.000000000 +0200 --- /usr/share/gtksourceview-3.0/language-specs/latex.lang 2017-04-28 12:48:17.970449165 +0200 *************** *** 47,52 **** --- 47,53 ----