diff options
| author | jvoisin | 2015-12-18 02:35:54 +0100 |
|---|---|---|
| committer | jvoisin | 2015-12-18 02:35:54 +0100 |
| commit | ca83fc0927897db30ed0ad11d3d681c3bd90c715 (patch) | |
| tree | ac209a8fdf0a9375d88fc95f54934749df49e7ea /mat.desktop | |
| parent | bf5d24a8ecca3e05b5757f1aa77766cb0f49effd (diff) | |
Fix the GUI for good
a027c0b989f7c7a5182db25aa628d2c138d024ae was a mistake.
Diffstat (limited to 'mat.desktop')
0 files changed, 0 insertions, 0 deletions