diff options
| author | stuebinm | 2021-09-30 02:02:29 +0200 |
|---|---|---|
| committer | stuebinm | 2021-09-30 02:02:29 +0200 |
| commit | ca8552c4eb69b2b8267fe0046320bccf9f547b52 (patch) | |
| tree | efda222c28b3d6267c89dd8b1793e4c6c259e53d /lib/Util.hs | |
| parent | 68af04a4da6ba4ec61d1469337ce53457526d861 (diff) | |
simple map-map link dependency checking
This is purely based on a set difference, i.e. it won't catch stupid
things like a map linking to itself, a map link going only one-way, etc.
Also, it only handles map links; it doesn't check if all ressource files
referenced by a map actually exist.
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions