remove remaining instances of ubuntu-18.04 (#8562)
treed6217dd7d6cd6affc466652c4ac69c5bce29924b
-rw-r--r-- 59 .dockerignore
-rw-r--r-- 159 .gitattributes
drwxr-xr-x - .github
-rw-r--r-- 343 .gitignore
-rwxr-xr-x 2231 .travis.sh
-rwxr-xr-x 979 .travis.yml
-rw-r--r-- 1589 AUTHORS
-rw-r--r-- 2408 CMakeLists.txt
-rw-r--r-- 262 Dockerfile
-rwxr-xr-x 542 JLinkSettings.ini
-rw-r--r-- 35147 LICENSE
-rw-r--r-- 1379 Vagrantfile
drwxr-xr-x - board
-rwxr-xr-x 958 build.sh
-rwxr-xr-x 1136 build_docs.sh
drwxr-xr-x - cmake
drwxr-xr-x - dev
drwxr-xr-x - docs
-rwxr-xr-x 536 fake_travis_build.sh
drwxr-xr-x - lib
-rw-r--r-- 4573 readme.md
drwxr-xr-x - src