Skip to content
Snippets Groups Projects
Commit 9a7863e9 authored by Yue Wang's avatar Yue Wang Committed by Timo Koch
Browse files

[bin][parameter] Implement new parameter extraction scripts 

Manual inputs are provided via a human-readable json file which is
under version control. The parameters.txt file is now completely
auto-generated and shouldn't be manually edited. All edits
happen to the json file. This makes sure formatting and data
are separated properly and git changes are minimal.
parent 082d274f
No related branches found
No related tags found
1 merge request!2933[bin][parameter] Implement new parameter extraction scripts
Pipeline #10983 waiting for manual action
Stage: trigger
    Stage: downstream modules
      Expand all Hide whitespace changes
      Inline Side-by-side
      0% or .
      You are about to add 0 people to the discussion. Proceed with caution.
      Finish editing this message first!
      Please register or to comment