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	…
source	Remove Ubuntu Trusty from CI. (#1699)	2020-06-10 11:13:34 +02:00
CMakeLists.txt	…