diff options
| author | jvoisin | 2013-03-06 13:23:52 +0100 |
|---|---|---|
| committer | jvoisin | 2013-03-06 13:23:52 +0100 |
| commit | b7848465cb833c36843921e32fa4903fe2bc73f4 (patch) | |
| tree | 19a9a57baa0239217ddddca171083e8a436e5d81 /mat-gui | |
| parent | 16487c064343d6d0f710d7b0ca8f7060b4289528 (diff) | |
Some minor syntastic sugar
Diffstat (limited to 'mat-gui')
0 files changed, 0 insertions, 0 deletions