diff options
author | stuebinm | 2022-02-16 15:32:57 +0100 |
---|---|---|
committer | stuebinm | 2022-03-19 19:26:32 +0100 |
commit | 410151c85b1e6c7629934e0ef0bc199d92da64e9 (patch) | |
tree | 7c6ad2d51e5a3606b9a91d9895236ad55d0e0db0 /lib/Properties.hs | |
parent | 3e0026151485858de6025f27eebe1f941329687a (diff) |
internal state: sort according to org
(also, more lenses i guess)
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions