diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2021-09-26 12:15:19 +0200 |
|---|---|---|
| committer | Rémi Verschelde <rverschelde@gmail.com> | 2021-09-26 12:15:19 +0200 |
| commit | 4b6ab10c5df87cf23a2ee26bd6b3856e6733e763 (patch) | |
| tree | e2c70f6a13be8c228471c0a3da3516fb41baa97f /src | |
| parent | 1bb06e85071efbd3cc884cf0885c9bafe91e1fce (diff) | |
| download | redot-cpp-4b6ab10c5df87cf23a2ee26bd6b3856e6733e763.tar.gz | |
CI: Update Linux runner to Ubuntu 18.04
Also cleanup needlessly specific dependencies.
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions