summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--tools/create-debian-pkglist.pl0
-rw-r--r--tools/debian-build-cron.sh0
-rw-r--r--tools/debian-repo-cleaner0
-rw-r--r--tools/local-deb-repo-maker0
-rw-r--r--tools/rsync-debian-repo0
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