diff options
-rw-r--r-- | INSTALL | 1 |
1 files changed, 0 insertions, 1 deletions
@@ -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. - |