As-gui Sources / file diff

     1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/projdesign/16.session	Tue Aug 04 18:12:44 2009 +0200
     1.3 @@ -0,0 +1,7 @@
     1.4 +window_sizes 1200 896 300 894 690 128
     1.5 +show_stereotypes
     1.6 +selected 
     1.7 +package_ref 129 // asgui_design
     1.8 +open
     1.9 +end
    1.10 +end