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 074b6a91e2..074b6a91e2 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 f2cbe18472..f2cbe18472 100644 --- a/doc/outdated-and-old-installation-instructions.txt +++ b/doc/system_specific/outdated-and-old-installation-instructions.txt |