diff options
| author | Damiano Galassi <[email protected]> | 2016-08-06 12:36:17 +0200 |
|---|---|---|
| committer | Damiano Galassi <[email protected]> | 2016-08-06 12:36:17 +0200 |
| commit | dfab1ce11c784b99e257acfb439c79936f9cf17b (patch) | |
| tree | 98d91b5a3b0133d8c84106df68868a8b8f08f5b8 /make | |
| parent | b4c82b5fd51b22efe803381e39c5026338daef55 (diff) | |
MacGui: small UI tweaks.
Diffstat (limited to 'make')
0 files changed, 0 insertions, 0 deletions