source: josm/.settings/org.eclipse.jdt.ui.prefs@ 111

Last change on this file since 111 was 86, checked in by imi, 20 years ago
  • added conflicts and resolve conflict dialog

This is one of those "changed everything" checkpoint.
File size: 119 bytes
Line 
1#Fri Apr 21 12:51:47 CEST 2006
2eclipse.preferences.version=1
3formatter_profile=_josm
4formatter_settings_version=10
Note: See TracBrowser for help on using the repository browser.