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

cosmic distro is obsolete now

release/4.3a0
Jose Luis Blanco-Claraco 2019-07-31 16:43:22 -07:00 committed by GitHub
parent 6cdb69a935
commit 05f24ed320
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 cosmic disco)
LST_DISTROS=(xenial bionic disco)
# Checks
# --------------------------------