diff options
| -rw-r--r-- | INSTALL | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/INSTALL b/INSTALL index 3fcdb5c68c..43a15ee2c9 100644 --- a/INSTALL +++ b/INSTALL @@ -452,4 +452,3 @@ or the manual has a bug, so report the disagreement. If you find any errors or omissions in this manual, please report them to the bug database. If you refer to specific sections of the manual, please include the section names for easier identification. - |