Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revision | |||
help:glossary [2014/02/13 13:50] – [B] Icantthinkofanickname | help:glossary [2014/02/13 13:58] (current) – [L] Icantthinkofanickname | ||
---|---|---|---|
Line 227: | Line 227: | ||
**leaked/ | **leaked/ | ||
- | Used to describe a __map__ that is not sealed by __brushes__. If a map's __source code__ | + | Used to describe a __map__ that is not sealed by __brushes__. If a map is leaking, it cannot be compiled with __vis__. \\ The opposite of __sealed__. \\ See also __boxed__. |
**LG:** \\ | **LG:** \\ |