source: tree/.settings/org.eclipse.core.resources.prefs@ 71

Last change on this file since 71 was 4, checked in by wouter, 5 years ago

MentalHealth #36 introduce Tree and get(Label) to work around serialization issues
File size: 115 bytes
Line 
1eclipse.preferences.version=1
2encoding//src/main/java=UTF-8
3encoding//src/test/java=UTF-8
4encoding/<project>=UTF-8
Note: See TracBrowser for help on using the repository browser.