diff options
Diffstat (limited to '.settings/org.eclipse.cdt.core.prefs')
| -rw-r--r-- | .settings/org.eclipse.cdt.core.prefs | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/.settings/org.eclipse.cdt.core.prefs b/.settings/org.eclipse.cdt.core.prefs new file mode 100644 index 0000000000..1e4f0dd5d9 --- /dev/null +++ b/.settings/org.eclipse.cdt.core.prefs @@ -0,0 +1,8 @@ +#Thu Jul 05 18:06:20 CEST 2012 +eclipse.preferences.version=1 +environment/project/0.273149272= +environment/project/0.273149272/PATH/delimiter=\: +environment/project/0.273149272/PATH/operation=append +environment/project/0.273149272/PATH/value=$HOME/dtc-v1.3.0 +environment/project/0.273149272/append=true +environment/project/0.273149272/appendContributed=true |