diff --git a/documentation/KnownProblems.html b/documentation/KnownProblems.html deleted file mode 100644 index 5c29cc2a7..000000000 --- a/documentation/KnownProblems.html +++ /dev/null @@ -1,34 +0,0 @@ - - - -
- -Any patch files linked below should be applied at the root of the -base-7.0.3.1 tree. Download them, then use the GNU Patch program as -follows:
- -- -% cd /path/to/base-7.0.3.1 -% patch -p1 < /path/to/file.patch
The following problems were known by the developers at the time of this -release:
- -