protelisdoc
Toggle table of contents
3.0.114
jvm
Platform filter
jvm
Switch theme
Search in API
protelisdoc
protelisdoc
/
it.unibo.protelis2kotlin
/
ProtelisDocExtension
/
destDir
dest
Dir
val
destDir
:
Property
<
String
>
Parameters
dest
Dir
The directory that will contain the generated docs