diff options
Diffstat (limited to '')
-rw-r--r-- | debian/patches/series | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/debian/patches/series b/debian/patches/series new file mode 100644 index 0000000..39d356d --- /dev/null +++ b/debian/patches/series @@ -0,0 +1,11 @@ +50-per-version-dirs.patch +51-default-sockets-in-var.patch +52-tutorial-README.patch +53-pg_service.conf_directory_doc.patch +54-debian-alternatives-for-external-tools.patch +70-history +filter-debug-prefix-map +libpgport-pkglibdir +initdb-startup-message +extension_destdir +risc-spinlock |