diff .settings/org.eclipse.wst.jsdt.ui.superType.name @ 5:7d231e4e86e5

environment setting
author Jorge Urzua <jurzua@mpiwg-berlin.mpg.de>
date Fri, 12 Apr 2013 14:28:32 +0200
parents
children
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/.settings/org.eclipse.wst.jsdt.ui.superType.name	Fri Apr 12 14:28:32 2013 +0200
@@ -0,0 +1,1 @@
+Window
\ No newline at end of file