Remove unused documentation file

author Peter Eisentraut

Mon, 9 Oct 2017 01:51:58 +0000 (21:51 -0400)

committer Peter Eisentraut

Mon, 9 Oct 2017 11:47:44 +0000 (07:47 -0400)
author Peter Eisentraut
Mon, 9 Oct 2017 01:51:58 +0000 (21:51 -0400)
committer Peter Eisentraut
Mon, 9 Oct 2017 11:47:44 +0000 (07:47 -0400)
diff --git a/doc/src/sgml/contacts.sgml b/doc/src/sgml/contacts.sgml

deleted file mode 100644 (file)

index 308eb41..0000000
--- a/doc/src/sgml/contacts.sgml
+++ /dev/null
@@ -1,26 +0,0 @@
-
-
-
-Contacts
-
-
-
diff --git a/doc/src/sgml/filelist.sgml b/doc/src/sgml/filelist.sgml

index 9050559abda152ce487adba79144c363b7283e7b..a72c50eadbbed1f32b8fb4fa28727347e22b6747 100644 (file)
--- a/doc/src/sgml/filelist.sgml
+++ b/doc/src/sgml/filelist.sgml
@@ -156,7 +156,6 @@
  
  
  
-
doc/src/sgml/contacts.sgml	[deleted file]	patch \| blob \| blame \| history
doc/src/sgml/filelist.sgml		patch \| blob \| blame \| history