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

Merge pull request #298 from borglab/fix/ppa-debian-packages 

Ubuntu PPA packages: disco is obsolete. Add focal.
release/4.3a0
Frank Dellaert 2020-05-07 11:33:34 -04:00 committed by GitHub
parent b4eb0c233d 51d18a0ae6
commit 0b5b278bf7
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
# List of distributions to create PPA packages for:
LST_DISTROS=(xenial bionic disco eoan)
LST_DISTROS=(xenial bionic eoan focal)
# Checks
# --------------------------------