Use latest skylighting.

This means we no longer need language.dtd when loading
custom highlighting definitions.

See #3334.
This commit is contained in:
John MacFarlane
2017-04-01 12:54:26 +02:00
parent 34b9bee5a4
commit 1c7f4e97e2
2 changed files with 2 additions and 2 deletions
+1 -1
View File
@@ -20,6 +20,6 @@ packages:
extra-deps:
- hslua-0.5.0
- hslua-aeson-0.1.0.3
- skylighting-0.3.1
- skylighting-0.3.2
- texmath-0.9.4
resolver: lts-8.4
+1 -1
View File
@@ -10,6 +10,6 @@ packages:
extra-deps:
- hslua-0.5.0
- hslua-aeson-0.1.0.3
- skylighting-0.3.1
- skylighting-0.3.2
- texmath-0.9.4
resolver: lts-8.4