diff options
| -rw-r--r-- | DOCS/xml/en/documentation.xml | 1 | ||||
| -rw-r--r-- | DOCS/xml/en/patches.xml | 8 |
2 files changed, 0 insertions, 9 deletions
diff --git a/DOCS/xml/en/documentation.xml b/DOCS/xml/en/documentation.xml index 664accf392..c555e646a0 100644 --- a/DOCS/xml/en/documentation.xml +++ b/DOCS/xml/en/documentation.xml @@ -187,4 +187,3 @@ can be distributed under the terms of the GNU General Public License Version 2. &bugs.xml; &skin.xml; &users-vs-dev.xml; -&patches.xml; diff --git a/DOCS/xml/en/patches.xml b/DOCS/xml/en/patches.xml deleted file mode 100644 index b7763fa1c3..0000000000 --- a/DOCS/xml/en/patches.xml +++ /dev/null @@ -1,8 +0,0 @@ -<?xml version="1.0" encoding="iso-8859-1"?> -<!-- $Revision$ --> -<appendix id="patches"> -<title>How to send patches</title> -<para> -Please see <ulink url="../../tech/patches.txt">this file</ulink>. -</para> -</appendix> |