Beat Küng 3e9692c5bd param_import: add mark_saved argument
Behavior of the 'param import' command:
- if no file provided, parameters are marked as saved (differs from before)
- if a file is provided: parameters are not marked as saved
2020-10-12 15:22:26 +02:00
..
2020-01-13 14:07:03 -05:00
2020-04-17 11:56:24 -04:00
2020-08-11 10:08:41 +02:00
2020-08-11 10:08:41 +02:00
2020-01-13 14:07:03 -05:00
2020-01-13 14:07:03 -05:00
2020-01-13 14:07:03 -05:00
2020-01-13 14:07:03 -05:00
2020-01-13 14:07:03 -05:00
2020-01-13 14:07:03 -05:00
2020-01-13 14:07:03 -05:00
2020-01-13 14:07:03 -05:00
2020-01-13 14:07:03 -05:00