Skip to content
Snippets Groups Projects
Select Git revision
  • 69c0a6970d1a9f3391fe248ff3e0c99c28505922
  • release default protected
  • workshop
3 results

start_config_editor

Dominik Loidolt's avatar
Dominik Loidolt authored
update the header definition according to PLATO-UVIE-PL-UM-0001 Draft 6

Closes #2

See merge request !9
56a57c68
History