debian/docs
branchpgsql
changeset 111 1898ce7c3fd3
parent 0 e05dded1b622
--- a/debian/docs	Fri Apr 28 09:28:28 2017 +0200
+++ b/debian/docs	Thu Oct 12 12:32:14 2017 +0200
@@ -0,0 +1,1 @@
+docs/*
\ No newline at end of file