Updates:
        Status: Closed

Comment #7 on issue 3447 by marcus.denker: Do we need to menu entry "Shout Workspace"?
http://code.google.com/p/pharo/issues/detail?id=3447

in build starting 23.12.2010


Reply via email to