diff -r ceb4ba3d2d00 -r 47ce95feb61a projdesign/16.session --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/projdesign/16.session Tue Aug 04 18:12:44 2009 +0200 @@ -0,0 +1,7 @@ +window_sizes 1200 896 300 894 690 128 +show_stereotypes +selected +package_ref 129 // asgui_design +open +end +end