diff options
author | Robert Zorko <robertz@gurucue.com> | 2015-10-16 15:20:25 +0200 |
---|---|---|
committer | Robert Zorko <robertz@gurucue.com> | 2015-10-16 15:20:25 +0200 |
commit | 38edde81a6c3a3d97737db01aaaab2fbc800d940 (patch) | |
tree | 7ed0112d99d70857f6ba76936ce77bf38739900c /monkey | |
parent | 4a781b21db10f82e35b9945109b5f4d41ad0e8c3 (diff) |
added gui_layout to the settings of the user
Diffstat (limited to 'monkey')
0 files changed, 0 insertions, 0 deletions