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

Generate PPA packages for Ubuntu 19.10 (eoan)

release/4.3a0
Jose Luis Blanco-Claraco 2019-08-14 02:35:50 +02:00 committed by GitHub
parent 05f24ed320
commit 66ca63575f
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) LST_DISTROS=(xenial bionic disco eoan)
# Checks # Checks
# -------------------------------- # --------------------------------