Commit Graph

3 Commits

Author SHA1 Message Date
Profpatsch
56bd5b6507 Update to 1.32.0 2020-05-09 20:02:04 +02:00
Fabrizio Ferrai
1698c83a36 Update to 1.31.1 2020-04-04 10:42:07 +02:00
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