nmacherey/rheia — Issue #3: RheiaWorkspaceManager Open/Save does not integrate the proper file extension
Author: nmacherey
Created: 2011-11-06 14:18:08+00:00
State: open

Check Open/Save methods for workspaces...