diff options
| author | jvoisin | 2015-11-25 12:53:19 +0100 |
|---|---|---|
| committer | jvoisin | 2015-11-26 15:55:19 +0100 |
| commit | aafff90ef0871a0fca56c5af1e2a2b08b78f4a98 (patch) | |
| tree | 466d0bdca0f3c06e2bf9fd8e503fb8c850037328 /mat-gui | |
| parent | 83831def42e3311518f30ae9414f8f518ee0102e (diff) | |
Improves the travis-ci configuration
Diffstat (limited to 'mat-gui')
0 files changed, 0 insertions, 0 deletions