diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2017-04-01 12:54:26 +0200 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2017-04-01 12:54:26 +0200 |
| commit | 1c7f4e97e2dd5a5bc0a4bfb61f4447101ea870de (patch) | |
| tree | 90129056235d80115643fcc6253ed0ea67bf8c92 /stack.yaml | |
| parent | 34b9bee5a4eff0d4b76a2d9ac153105a4da363ed (diff) | |
Use latest skylighting.
This means we no longer need language.dtd when loading
custom highlighting definitions.
See #3334.
Diffstat (limited to 'stack.yaml')
| -rw-r--r-- | stack.yaml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/stack.yaml b/stack.yaml index be3b5e99d..cfd85ea64 100644 --- a/stack.yaml +++ b/stack.yaml @@ -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 |