1 files changed, 1 insertions, 0 deletions

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