aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorArnold D. Robbins <arnold@skeeve.com>2010-11-20 22:02:41 +0200
committerArnold D. Robbins <arnold@skeeve.com>2010-11-20 22:02:41 +0200
commite61bf8dd924ee1201c29311bee37d86683c1a0ea (patch)
tree71a3a3588f2a6206523bafc9d947ba38d918af45
parent824226e0f4a2079c7447ab17f3a6a483131e1450 (diff)
downloadegawk-e61bf8dd924ee1201c29311bee37d86683c1a0ea.tar.gz
egawk-e61bf8dd924ee1201c29311bee37d86683c1a0ea.tar.bz2
egawk-e61bf8dd924ee1201c29311bee37d86683c1a0ea.zip
Minor fixes.
-rw-r--r--README.cvs6
-rw-r--r--TODO5
2 files changed, 5 insertions, 6 deletions
diff --git a/README.cvs b/README.cvs
index 7953fd43..4364b63d 100644
--- a/README.cvs
+++ b/README.cvs
@@ -1,4 +1,4 @@
-Thu Nov 18 23:26:17 IST 2010
+Sat Nov 20 21:59:44 IST 2010
============================
If you are reading this, you are looking in the wrong file. Gawk is
@@ -6,12 +6,12 @@ no longer maintained in CVS. It is maintained in git from savannah.gnu.org.
According to the Savannah website, you can use:
- cvs -d:pserver:anonymous@pserver.git.gnu.org:/gawk.git \
+ cvs -d:pserver:anonymous@pserver.git.sv.gnu.org:/gawk.git \
co -d gawk master
to get the development version. Most likely if you use:
- cvs -d:pserver:anonymous@pserver.git.gnu.org:/gawk.git \
+ cvs -d:pserver:anonymous@pserver.git.sv.gnu.org:/gawk.git \
co -d gawk-stable gawk-stable
you'll get the gawk-stable branch. But I haven't tried either of these
diff --git a/TODO b/TODO
index 10ffe086..d3a97cdc 100644
--- a/TODO
+++ b/TODO
@@ -34,9 +34,7 @@ array.c
awkgram.y
awkprintf.h
cmd.h
-command.c
command.y
-custom.h
debug.c
eval.c
ext.c
@@ -44,7 +42,6 @@ field.c
floatcomp.c
floatmagic.h
gawkmisc.c
-hard-locale.h
io.c
main.c
profile.c
@@ -60,3 +57,5 @@ xalloc.h
version.c
replace.c
msg.c
+hard-locale.h
+custom.h