Christopher Haster
192206b66d
scripts: dbgflags.py: Renamed --o -> +o for prefix namespaces
...
Just a bit less typing than --o, and lowers risk of conflicts with
actual flags we may care about.
To be honest I was procrastinating because I thought this would be a lot
more work! I was prepared to write a hacky secondary parser, but argparse
already supports this natively with prefix_chars='-+'. Yay!
2025-11-18 00:58:31 -06:00
..
2025-11-18 00:58:31 -06:00
2025-04-16 15:23:06 -05:00
2025-10-01 17:57:49 -05:00
2025-11-18 00:58:31 -06:00
2025-11-18 00:58:31 -06:00
2025-10-01 17:57:49 -05:00
2025-05-15 14:10:42 -05:00
2025-10-01 17:57:49 -05:00
2025-10-01 17:57:49 -05:00
2025-10-01 17:57:49 -05:00
2025-11-18 00:58:31 -06:00
2025-04-16 15:22:34 -05:00
2025-11-18 00:58:31 -06:00
2025-11-18 00:58:31 -06:00
2025-11-18 00:58:31 -06:00
2025-04-16 15:22:34 -05:00
2025-11-12 13:30:11 -06:00
2025-11-18 00:58:31 -06:00
2025-11-18 00:58:31 -06:00
2025-11-18 00:58:31 -06:00
2025-11-18 00:58:31 -06:00
2025-11-18 00:58:31 -06:00
2025-11-18 00:58:31 -06:00
2025-11-18 00:58:31 -06:00
2025-11-18 00:58:31 -06:00
2025-05-15 14:10:42 -05:00
2025-10-01 17:57:49 -05:00
2025-10-01 17:57:49 -05:00
2025-11-18 00:58:27 -06:00
2025-10-01 17:57:32 -05:00
2025-06-27 12:56:03 -05:00
2025-10-01 17:57:49 -05:00
2025-10-01 17:57:49 -05:00
2025-11-18 00:58:27 -06:00
2025-04-16 15:23:06 -05:00
2025-11-18 00:58:31 -06:00
2025-11-18 00:58:31 -06:00
2025-11-18 00:58:31 -06:00
2025-11-18 00:58:27 -06:00