diff options
Diffstat (limited to 'shell/_eclimrc')
| -rw-r--r-- | shell/_eclimrc | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/shell/_eclimrc b/shell/_eclimrc new file mode 100644 index 0000000..7b78828 --- /dev/null +++ b/shell/_eclimrc @@ -0,0 +1,3 @@ +# Specifies the workspace directory to use +# See $ECLIPSE_HOME/configuration/config.ini for other osgi properties. +osgi.instance.area.default=@user.home/var/workspace |