Index of /groups/developer/de/learnlib/archetypes
Name
Last Modified
Size
Description
Parent Directory
complete/
Thu Dec 15 23:27:15 UTC 2022
core/
Fri May 02 17:01:09 UTC 2014
learnlib-archetypes-parent/
Thu Dec 15 23:27:15 UTC 2022
typical/
Thu Jul 25 21:11:51 UTC 2013