added the following options to weka/gui/explorer/Explorer.props to enable the user...
[weka.git] / src / 
treecc0c3bf5d96f194c148a675423215e41909c0ea8
drwxr-xr-x   ..
drwxr-xr-x - main
drwxr-xr-x - test