Move to Ubuntu 20.04.

This commit is contained in:
Andrew Hamilton 2020-04-25 00:59:49 +10:00
parent 0054c8dfd2
commit d10cd82150
4 changed files with 23 additions and 39 deletions

View file

@ -0,0 +1 @@
Success: no issues found in 1 source file