name = "scripts"

[[lean_exe]]
name = "modulize"
root = "Modulize"