diff options
| author | Stijn Buys <ingar@osirion.org> | 2016-07-20 00:40:01 +0200 |
|---|---|---|
| committer | Stijn Buys <ingar@osirion.org> | 2016-07-20 00:40:01 +0200 |
| commit | 0d3a65aad03d9ac726238b21ba8224e9558a8a08 (patch) | |
| tree | 5a6d704902543025d4877b584a400d3db10ebdc2 /src/client/mainmenu.h | |
| parent | 1d99e86e3197ed7594d9ef8c1c350a6a60e7bce0 (diff) | |
Renamed UI::elementmargin to IU::spacing, added UI::margin.
Diffstat (limited to 'src/client/mainmenu.h')
0 files changed, 0 insertions, 0 deletions