diff options
Diffstat (limited to 'INSTALL.txt')
-rw-r--r-- | INSTALL.txt | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/INSTALL.txt b/INSTALL.txt index 8449caeeac..d633989fbe 100644 --- a/INSTALL.txt +++ b/INSTALL.txt @@ -1,2 +1 @@ Please refer to installation.html under doc/html. - |