Bump pgf2 to 1.2.0

This commit is contained in:
John J. Camilleri
2020-07-28 22:36:49 +02:00
parent 22d5f31d74
commit f00f0cb0ef
4 changed files with 31 additions and 23 deletions

View File

@@ -0,0 +1 @@
resolver: lts-12.26 # ghc 8.4.4