/ default tip
drwxr-xr-x base
drwxr-xr-x example
-rw-r--r-- 2020-12-29 16:57 +0100 122 .hgignore
-rw-r--r-- 2020-12-29 16:57 +0100 94 .hgtags
-rw-r--r-- 2020-12-29 16:57 +0100 6125 build.sc
-rwxr-xr-x 2020-12-29 16:57 +0100 1636 mill