Skip to content
Snippets Groups Projects
Commit f3990c84 authored by bresch's avatar bresch Committed by Matthias Grob
Browse files

Parameter update - Rename variables in modules/navigator

using parameter_update.py script
parent e575f032
No related branches found
No related tags found
No related merge requests found
Showing
with 116 additions and 116 deletions
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment