diff options
| author | jvoisin | 2015-08-19 18:42:28 +0200 |
|---|---|---|
| committer | jvoisin | 2015-08-19 18:42:28 +0200 |
| commit | 7b8ec9e5ce37de7cbf0a9bc61b94cccb682cabd8 (patch) | |
| tree | 2bd9232049c0956f71e254b2a99c5717360f4529 /mat-gui | |
| parent | 13c05f347fb3f4c9b1fcbbaf791f7cfae2219443 (diff) | |
Minor code simplification
Diffstat (limited to 'mat-gui')
0 files changed, 0 insertions, 0 deletions