From 71c75ddfbb277362bf62dc5b1645c3903e16bc34 Mon Sep 17 00:00:00 2001 From: Peter Eisentraut Date: Sun, 8 Oct 2017 21:51:58 -0400 Subject: [PATCH] Remove unused documentation file --- doc/src/sgml/contacts.sgml | 26 -------------------------- doc/src/sgml/filelist.sgml | 1 - 2 files changed, 27 deletions(-) delete mode 100644 doc/src/sgml/contacts.sgml diff --git a/doc/src/sgml/contacts.sgml b/doc/src/sgml/contacts.sgml deleted file mode 100644 index 308eb418a5..0000000000 --- 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 9050559abd..a72c50eadb 100644 --- a/doc/src/sgml/filelist.sgml +++ b/doc/src/sgml/filelist.sgml @@ -156,7 +156,6 @@ - -- 2.40.0