2012-04-05 07:06:11 +00:00
|
|
|
eclipse.preferences.version=1
|
2012-05-03 18:04:16 +00:00
|
|
|
lineNumberRuler=true
|
2012-04-05 07:06:11 +00:00
|
|
|
overviewRuler_migration=migrated_3.1
|
2012-05-13 06:46:39 +00:00
|
|
|
showWhitespaceCharacters=true
|
2012-05-03 18:04:16 +00:00
|
|
|
spacesForTabs=true
|