flexshell - Revision 398: /tags/v0.4.1/flexshell_plugins/.settings

• ..
• org.eclipse.core.resources.prefs