summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-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/BUGS.txt b/BUGS4.txt
index 1a9790ddd9..1a9790ddd9 100644
--- a/BUGS.txt
+++ b/BUGS4.txt
diff --git a/NEWS b/NEWS4
index 8a63719a0e..8a63719a0e 100644
--- a/NEWS
+++ b/NEWS4
diff --git a/TODO b/TODO4
index 14df8a507a..14df8a507a 100644
--- a/TODO
+++ b/TODO4
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