Wolfgang Hess db85e0894d Remove Ubuntu Trusty from CI. (#1699) ... Ubuntu 14.04 has reached end of standard support. Moves additional testing that was only done for Trusty to Bionic.		2020-06-10 11:13:34 +02:00
..
assets	Add assets used for the Cartographer shirt. (#630)	2017-11-06 10:36:38 +01:00
source	Remove Ubuntu Trusty from CI. (#1699)	2020-06-10 11:13:34 +02:00
CMakeLists.txt	Sphinx build fix (#229)	2017-03-30 16:23:19 +02:00