diff options
author | Zero~Informatique | 2020-01-31 08:01:23 +0100 |
---|---|---|
committer | Zero~Informatique | 2020-01-31 08:04:14 +0100 |
commit | a7d459a2620fa9523dd7ce8c9de519133ad5b1b7 (patch) | |
tree | 1fec46dbded6e43ddcf3252b7c638aab5f7dd7f9 /compiler/src/Input.hs | |
parent | 63e7ef894755deef318d9dcb129a94d34f33bdf2 (diff) | |
download | ldgallery-a7d459a2620fa9523dd7ce8c9de519133ad5b1b7.tar.gz |
viewer: tag propositions depend on current's directory. resolves #22
Diffstat (limited to 'compiler/src/Input.hs')
0 files changed, 0 insertions, 0 deletions