diff options
author | Miguel de Icaza <miguel@gnome.org> | 2001-09-19 00:20:55 +0400 |
---|---|---|
committer | Miguel de Icaza <miguel@gnome.org> | 2001-09-19 00:20:55 +0400 |
commit | c0b183f58c1b373ef21ed17c2e516c4825b30ca9 (patch) | |
tree | 1129806cfe5b3a407766052ccd787af6a8a7741a | |
parent | 50d09896172892b3caeb7768c87032b2472feb49 (diff) |
Flush
svn path=/trunk/mono/; revision=870
-rw-r--r-- | ChangeLog | 1 | ||||
-rw-r--r-- | doc/download | 5 | ||||
-rw-r--r-- | doc/web/makefile | 1 | ||||
-rw-r--r-- | web/download | 5 | ||||
-rw-r--r-- | web/web/makefile | 1 |
5 files changed, 2 insertions, 11 deletions
diff --git a/ChangeLog b/ChangeLog index baff31f0c8e..07031488c5c 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,4 +1,3 @@ - Mon Sep 10 20:19:00 CEST 2001 Paolo Molaro <lupus@ximian.com> * configure.in: check for sizeof(void*) and for the architecture. diff --git a/doc/download b/doc/download index 32e2161b78b..64e2cd151ec 100644 --- a/doc/download +++ b/doc/download @@ -183,10 +183,5 @@ make install </pre> </ul> -** CVS - - We are trying to figure out where to put our CVS repository. - We are debating between the GNOME CVS or SourceForge. Watch - this spot. diff --git a/doc/web/makefile b/doc/web/makefile index a3373a05f1f..e556d0f1456 100644 --- a/doc/web/makefile +++ b/doc/web/makefile @@ -4,6 +4,7 @@ SOURCES= \ ../class-status \ ../contact \ ../c-sharp \ + ../ccvs \ ../documentation \ ../download \ ../faq \ diff --git a/web/download b/web/download index 32e2161b78b..64e2cd151ec 100644 --- a/web/download +++ b/web/download @@ -183,10 +183,5 @@ make install </pre> </ul> -** CVS - - We are trying to figure out where to put our CVS repository. - We are debating between the GNOME CVS or SourceForge. Watch - this spot. diff --git a/web/web/makefile b/web/web/makefile index a3373a05f1f..e556d0f1456 100644 --- a/web/web/makefile +++ b/web/web/makefile @@ -4,6 +4,7 @@ SOURCES= \ ../class-status \ ../contact \ ../c-sharp \ + ../ccvs \ ../documentation \ ../download \ ../faq \ |