diff options
-rw-r--r-- | doc/system_specific/FROM_SOURCE (renamed from doc/FROM_SOURCE) | 0 | ||||
-rw-r--r-- | doc/system_specific/outdated-and-old-installation-instructions.txt (renamed from doc/outdated-and-old-installation-instructions.txt) | 0 |
2 files changed, 0 insertions, 0 deletions
diff --git a/doc/FROM_SOURCE b/doc/system_specific/FROM_SOURCE index 074b6a91e..074b6a91e 100644 --- a/doc/FROM_SOURCE +++ b/doc/system_specific/FROM_SOURCE | |||
diff --git a/doc/outdated-and-old-installation-instructions.txt b/doc/system_specific/outdated-and-old-installation-instructions.txt index f2cbe1847..f2cbe1847 100644 --- a/doc/outdated-and-old-installation-instructions.txt +++ b/doc/system_specific/outdated-and-old-installation-instructions.txt | |||