diff options
| author | Stijn Buys <ingar@osirion.org> | 2016-07-20 00:42:06 +0200 |
|---|---|---|
| committer | Stijn Buys <ingar@osirion.org> | 2016-07-20 00:42:06 +0200 |
| commit | 06ba392555bd153fd6735040f6aada15e20b6ef2 (patch) | |
| tree | 8dd6a353e568a681ba5c35ecef9c58de25dbe7af /base/maps/independent/sections/spider_engine_small.map | |
| parent | 8378f130234e7ebbcf6c006bea3d06350cacb20d (diff) | |
enamed UI::elementmargin to IU::spacing, added UI::margin.
Diffstat (limited to 'base/maps/independent/sections/spider_engine_small.map')
0 files changed, 0 insertions, 0 deletions