/project/ default tip
drwxr-xr-x [up]
-rw-r--r-- 2016-05-05 16:26 +0200 19 build.properties
-rw-r--r-- 2016-05-05 16:26 +0200 52 plugins.sbt