protelisdoc
Toggle table of contents
3.0.139
jvm
Target filter
jvm
Switch theme
Search in API
Skip to content
protelisdoc
protelisdoc
/
it.unibo.protelis2kotlin
/
PROTELIS_FILE_EXTENSION
PROTELIS_
FILE_
EXTENSION
const
val
PROTELIS_FILE_EXTENSION
:
String
Protelis file extension.