A version of readPGF where the user handles the IO.

This commit is contained in:
Frederik Hanghøj Iversen
2018-08-06 16:05:12 +02:00
parent d9f0dfd400
commit 6b2c2256d1
2 changed files with 12 additions and 3 deletions

View File

@@ -1,5 +1,5 @@
name: pgf
version: 3.9-git
version: 3.9.1-git
cabal-version: >= 1.20
build-type: Simple