Commit Graph

1 Commits

Author SHA1 Message Date
Profpatsch b8267b1988 update 1.31
Use the `fetch.py` script to update to dhall 1.31 and add some
instructions on how to do it.
2020-03-29 22:29:08 +02:00