diff --git a/Docs/projects.html b/Docs/projects.html index 7dbabccab0..d5abc899ba 100644 --- a/Docs/projects.html +++ b/Docs/projects.html @@ -730,6 +730,8 @@ cvs -d :pserver:anonymous@im2.lcs.mit.edu:/im/magnus/cvsroot get watermark needed for building the graphing portions of the code.