diff options
| -rw-r--r-- | tools/create-debian-pkglist.pl | 0 | ||||
| -rw-r--r-- | tools/debian-build-cron.sh | 0 | ||||
| -rw-r--r-- | tools/debian-repo-cleaner | 0 | ||||
| -rw-r--r-- | tools/local-deb-repo-maker | 0 | ||||
| -rw-r--r-- | tools/rsync-debian-repo | 0 |
5 files changed, 0 insertions, 0 deletions
diff --git a/tools/create-debian-pkglist.pl b/tools/create-debian-pkglist.pl new file mode 100644 index 000000000..e69de29bb --- /dev/null +++ b/tools/create-debian-pkglist.pl diff --git a/tools/debian-build-cron.sh b/tools/debian-build-cron.sh new file mode 100644 index 000000000..e69de29bb --- /dev/null +++ b/tools/debian-build-cron.sh diff --git a/tools/debian-repo-cleaner b/tools/debian-repo-cleaner new file mode 100644 index 000000000..e69de29bb --- /dev/null +++ b/tools/debian-repo-cleaner diff --git a/tools/local-deb-repo-maker b/tools/local-deb-repo-maker new file mode 100644 index 000000000..e69de29bb --- /dev/null +++ b/tools/local-deb-repo-maker diff --git a/tools/rsync-debian-repo b/tools/rsync-debian-repo new file mode 100644 index 000000000..e69de29bb --- /dev/null +++ b/tools/rsync-debian-repo |