diff options
author | Jakob Unterwurzacher | 2017-06-05 22:03:15 +0200 |
---|---|---|
committer | Jakob Unterwurzacher | 2017-06-07 22:07:56 +0200 |
commit | 22820bcd76a781d09ce82f6e734013d55afc1e5c (patch) | |
tree | a4bb5e5a5e383e8faacf4b25b0df76c691bf0feb /internal/stupidgcm | |
parent | 0ac5e44137e457dad2a7f5408fb475bf69c642fa (diff) |
main: reorder force_owner flag parsing
No functional changes, just keeping the profiling-related flags
together.
Diffstat (limited to 'internal/stupidgcm')
0 files changed, 0 insertions, 0 deletions