diff graal/GraalGraphviz/.settings/org.eclipse.jdt.ui.prefs @ 2609:a57e051b33cd

Move Graphviz visualization code to its own project, GraalGraphviz
author Peter Hofer <peter.hofer@jku.at>
date Mon, 09 May 2011 10:43:57 +0200
parents graal/GraalGraph/.settings/org.eclipse.jdt.ui.prefs@d9b2a8653054
children
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/graal/GraalGraphviz/.settings/org.eclipse.jdt.ui.prefs	Mon May 09 10:43:57 2011 +0200
@@ -0,0 +1,4 @@
+#Wed Apr 27 22:10:44 CEST 2011
+eclipse.preferences.version=1
+formatter_profile=_C1XJavaCodeStyle
+formatter_settings_version=11