diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2019-02-19 13:06:04 +0100 |
|---|---|---|
| committer | Rémi Verschelde <rverschelde@gmail.com> | 2019-02-19 14:17:22 +0100 |
| commit | 5774155d6ac8a396680288fd2d472d52e980df1c (patch) | |
| tree | 2d22efd119aed97fcffe5238f2ff6d6d0f693e85 /modules/gridmap | |
| parent | b7c50d99af9f6c18b8d8324ed9d215ee9b01e200 (diff) | |
Travis: Use Ubuntu 16.04, use GCC 8 for Linux/GCC builds
Also add one GCC 5 legacy build job for debug template.
Diffstat (limited to 'modules/gridmap')
0 files changed, 0 insertions, 0 deletions