diff options
Diffstat (limited to 'INSTALL')
| -rw-r--r-- | INSTALL | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/INSTALL b/INSTALL index 555e36e195..af5ddacc9b 100644 --- a/INSTALL +++ b/INSTALL @@ -461,3 +461,4 @@ 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. + |