diff options
| author | Albert Krewinkel <[email protected]> | 2022-08-18 23:26:19 +0200 |
|---|---|---|
| committer | Albert Krewinkel <[email protected]> | 2022-08-18 23:30:36 +0200 |
| commit | e6d4501feb934035aee708136520e890d64b9c33 (patch) | |
| tree | 35b617dc25b6d670123bfe923bf6a24ae5071f06 /stack.yaml | |
| parent | 7574bfda46ce3a1b433543c7dbf069a8951b03c0 (diff) | |
Use latest gridtables-0.0.3.0
This restores undocumented behavior which allowed to grid tables to have
separator lines that have fewer characters than the cell they delimit.
Diffstat (limited to 'stack.yaml')
| -rw-r--r-- | stack.yaml | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/stack.yaml b/stack.yaml index d0c551a8d..667925dcd 100644 --- a/stack.yaml +++ b/stack.yaml @@ -12,6 +12,7 @@ extra-deps: - skylighting-format-latex-0.1 - skylighting-format-blaze-html-0.1 - emojis-0.1.2 +- gridtables-0.0.3.0 - lpeg-1.0.3 - hslua-2.2.1 - hslua-aeson-2.2.1 @@ -42,8 +43,6 @@ extra-deps: - doctemplates-0.10.0.2 - citeproc-0.8.0.1 - texmath-0.12.5.2 -- git: https://github.com/tarleb/gridtables - commit: 76198add9b404124b3a2fdf137399256a91d337b ghc-options: "$locals": -fhide-source-paths -Wno-missing-home-modules |