diff options
| author | Arnold D. Robbins <arnold@skeeve.com> | 2010-11-20 22:02:41 +0200 |
|---|---|---|
| committer | Arnold D. Robbins <arnold@skeeve.com> | 2010-11-20 22:02:41 +0200 |
| commit | e61bf8dd924ee1201c29311bee37d86683c1a0ea (patch) | |
| tree | 71a3a3588f2a6206523bafc9d947ba38d918af45 /README.cvs | |
| parent | 824226e0f4a2079c7447ab17f3a6a483131e1450 (diff) | |
| download | egawk-e61bf8dd924ee1201c29311bee37d86683c1a0ea.tar.gz egawk-e61bf8dd924ee1201c29311bee37d86683c1a0ea.tar.bz2 egawk-e61bf8dd924ee1201c29311bee37d86683c1a0ea.zip | |
Minor fixes.
Diffstat (limited to 'README.cvs')
| -rw-r--r-- | README.cvs | 6 |
1 files changed, 3 insertions, 3 deletions
@@ -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 |