Merge branch 'master' of https://wamblee.org/git/public/utils
[utils] / support / cdi / .settings /
drwxr-xr-x   ..
-rw-r--r-- 269 org.eclipse.jdt.core.prefs
-rw-r--r-- 263 org.maven.ide.eclipse.prefs