Index of /groups/developer/de/learnlib/archetypes
Name
Last Modified
Size
Description
Parent Directory
complete/
Thu Nov 21 20:23:24 UTC 2024
core/
Thu Nov 21 20:23:25 UTC 2024
learnlib-archetypes-parent/
Thu Dec 15 23:27:15 UTC 2022
typical/
Thu Nov 21 20:23:24 UTC 2024