diff options
-rw-r--r-- | BUGS4.txt (renamed from BUGS.txt) | 0 | ||||
-rw-r--r-- | NEWS4 (renamed from NEWS) | 0 | ||||
-rw-r--r-- | TODO4 (renamed from TODO) | 0 | ||||
-rw-r--r-- | WHATSNEW4.txt (renamed from WHATSNEW.txt) | 0 | ||||
-rw-r--r-- | howto4.txt (renamed from howto.txt) | 0 | ||||
-rw-r--r-- | prog_guide4.txt (renamed from prog_guide.txt) | 0 |
6 files changed, 0 insertions, 0 deletions
diff --git a/WHATSNEW.txt b/WHATSNEW4.txt index 726fb1cd97..726fb1cd97 100644 --- a/WHATSNEW.txt +++ b/WHATSNEW4.txt diff --git a/howto.txt b/howto4.txt index 3ae225ddb8..3ae225ddb8 100644 --- a/howto.txt +++ b/howto4.txt diff --git a/prog_guide.txt b/prog_guide4.txt index bba58b31b3..bba58b31b3 100644 --- a/prog_guide.txt +++ b/prog_guide4.txt |