Skip to content

Batch setpid

bbartels requested to merge batch-setpid into master

Create a batch script that allows setting the PID constants more efficiently.

Also made a tutorial for using the script.

@snawerdt @tymina @dawehr

Merge request reports