remove now obsolete scripts

MRPT · Nov 24, 2021 · 9392d88 · 9392d88
1 parent 8e71233
commit 9392d88
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 167 deletions.
diff --git a/packaging/ppa_build_and_upload_all.sh b/packaging/ppa_build_and_upload_all.sh
diff --git a/packaging/prepare_ubuntu_pkgs_for_ppa.sh b/packaging/prepare_ubuntu_pkgs_for_ppa.sh