diff options
| author | Jasper Van der Jeugt | 2020-09-11 16:50:35 +0200 |
|---|---|---|
| committer | Jasper Van der Jeugt | 2020-09-11 16:50:35 +0200 |
| commit | 648c6a17baef0237a2a991ae0fe983a3634be82d (patch) | |
| tree | 94e0afed8ca13f2c1a4aab18f57032213baf4f2e /server/src/GenerateTypes.hs | |
| parent | d2d39bd86ec351f0b5b3bec850a086c3fc40767e (diff) | |
Bump script for munihac2020
Diffstat (limited to 'server/src/GenerateTypes.hs')
0 files changed, 0 insertions, 0 deletions