2017-05-22 14:27:25 +01:00
|
|
|
WARNING=DO NOT MODIFY THIS FILE IF YOU DON'T UNDERSTAND
|
2019-07-24 22:24:00 +01:00
|
|
|
defaultDestination=C\:/Users/andy/basex.home/webapp
|
2017-05-22 14:27:25 +01:00
|
|
|
defaultVariables=
|
|
|
|
eclipse.preferences.version=1
|
|
|
|
includeTeamPrivateFiles=false
|
|
|
|
map|0=src|,|,|,|,
|
|
|
|
useCurrentDateForDestinationFiles=false
|