Sat, 17 Jul 2021 21:31:15 +0200 | wenzelm | more accurate scala_project, based on build.props of components; | changeset | files |
Sat, 17 Jul 2021 13:42:21 +0200 | wenzelm | clarified build_props: empty module means no build; | changeset | files |
Sat, 17 Jul 2021 12:59:47 +0200 | wenzelm | tuned; | changeset | files |