12345qiupeng
/
gtsam
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Ubuntu PPA packages: disco is obsolete. Add focal.

release/4.3a0
Jose Luis Blanco-Claraco 2020-05-07 07:45:52 +02:00 committed by GitHub
parent b4eb0c233d
commit 51d18a0ae6
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
package_scripts/prepare_ubuntu_pkgs_for_ppa.sh
View File

@ -14,7 +14,7 @@
set -e set -e
# List of distributions to create PPA packages for: # List of distributions to create PPA packages for:
LST_DISTROS=(xenial bionic disco eoan) LST_DISTROS=(xenial bionic eoan focal)
# Checks # Checks
# -------------------------------- # --------------------------------