diff options
-rw-r--r-- | doc/DEBUG.txt (renamed from DEBUG.txt) | 0 | ||||
-rw-r--r-- | doc/RELEASE.txt (renamed from RELEASE.txt) | 0 | ||||
-rw-r--r-- | doc/changes.txt (renamed from changes.txt) | 0 | ||||
-rw-r--r-- | doc/credits.txt (renamed from credits.txt) | 0 |
4 files changed, 0 insertions, 0 deletions
diff --git a/DEBUG.txt b/doc/DEBUG.txt index f7146c28..f7146c28 100644 --- a/DEBUG.txt +++ b/doc/DEBUG.txt diff --git a/RELEASE.txt b/doc/RELEASE.txt index ab082315..ab082315 100644 --- a/RELEASE.txt +++ b/doc/RELEASE.txt diff --git a/changes.txt b/doc/changes.txt index 7835ab9a..7835ab9a 100644 --- a/changes.txt +++ b/doc/changes.txt diff --git a/credits.txt b/doc/credits.txt index 96e8ef60..96e8ef60 100644 --- a/credits.txt +++ b/doc/credits.txt |