patches
changeset 97 d930ec8b5ffc
parent 96 331aeb93367f
child 98 0e77f14a1a12
--- a/patches	Sat Mar 23 20:09:43 1996 +0100
+++ b/patches	Wed Mar 27 13:29:54 1996 +0100
@@ -227,6 +227,7 @@
 		  XtWidgetWithLabelAndAction
 
 		  CLauncher CBrowser CChange CCompiler  CDirectory CEditor CFilter CHistory
+		  AbstractSourceCodeManager CVSSourceCodeManager
 		 ).
 
 optionalViews := #(