From a16c46d8f215149b6a3ea5f931846aabaeb0e4dd Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Fri, 28 Apr 2000 17:50:43 +0000 Subject: Notes about using cvs and branch. --- etc/README | 1 + 1 file changed, 1 insertion(+) (limited to 'etc/README') diff --git a/etc/README b/etc/README index bda7fde8..5fdc2042 100644 --- a/etc/README +++ b/etc/README @@ -18,6 +18,7 @@ example test protocol for example proof scripts notes.txt Misc notes +cvs-tips.txt Notes on cvs with PG project debugging-tips.txt Notes on debugging profiling.txt profiling -- cgit v1.2.3