diff options
author | stuebinm | 2021-11-17 22:16:38 +0100 |
---|---|---|
committer | stuebinm | 2021-11-17 22:16:38 +0100 |
commit | 2464f639292dbf1f765b1937e06bbfd99fbec319 (patch) | |
tree | 011f11010d8233455dab46c025fb3f854e04ddbe /lib/Properties.hs | |
parent | c74a9c7fcb6a9f03351f6ff35ea035d1e03f63a4 (diff) |
small fixes
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions