Skip to content

Make tool name shorter

Hans Fangohr requested to merge shorten-command-name into main
  • -> mpsd-software
  • links nicely to name of log file
  • also fixes script_dir/root_dir bug (on main) that we introduced accidentally by merging different MRs

Merge request reports

Loading