3 ms·

I think those are arrows, not greater-than-signs (i.e. load config from global options, then overwrite that with user options, etc.)

• TomMarius 8y ago
  Oh, me. Sorry, you're totally correct.