diff options
| author | stuebinm | 2021-12-24 15:16:12 +0100 |
|---|---|---|
| committer | stuebinm | 2021-12-24 15:16:12 +0100 |
| commit | e3d6b59b76f7057179723d4853220c2db9c18064 (patch) | |
| tree | 8fa0b06e4172a324fb05b6bc9e251a77be370e78 /lib/CheckMap.hs | |
| parent | 921f49fa34b3f363757f53d05f640023c143a287 (diff) | |
allow shared (not just shared-) as prefix for shared jitsis
this might make things less confusing for some people
Diffstat (limited to 'lib/CheckMap.hs')
0 files changed, 0 insertions, 0 deletions