Michael Taufen
6e49ac382b
ColonSeparatedMultimapStringString: allow multiple Set invocations with default override
...
The first call to Set will clear the map before adding entries;
subsequent calls will simply append to the map.
This makes it possible to override default values with a command-line
option rather than appending to defaults,
while still allowing the distribution of key-value pairs across
multiple flag invocations.
For example: `--flag "a:hello" --flag "b:again" --flag "b:beautiful"
--flag "c:world"` results in `{"a": ["hello"], "b": ["again",
"beautiful"], "c": ["world"]}`
2017-11-17 09:07:47 -08:00
..
2017-11-17 09:07:47 -08:00
2017-11-09 12:14:08 +01:00
2017-11-07 14:47:22 +08:00
2017-10-15 18:18:13 -07:00
2017-11-16 18:35:13 -08:00
2017-11-13 16:45:33 -08:00
2017-10-27 15:48:32 +08:00
2017-11-09 12:14:08 +01:00
2017-10-15 18:18:13 -07:00
2017-11-15 14:58:31 -08:00
2017-11-09 12:14:08 +01:00
2017-10-15 18:18:13 -07:00
2017-11-16 18:35:13 -08:00
2017-11-16 22:03:12 +02:00
2017-10-15 18:18:13 -07:00
2017-11-15 09:32:53 -08:00
2017-11-13 10:32:44 -08:00
2017-10-15 18:18:13 -07:00
2017-11-02 09:17:48 +08:00
2017-10-15 18:18:13 -07:00
2017-11-10 13:14:40 +01:00
2017-11-15 23:57:35 -08:00
2017-10-17 11:31:46 +02:00
2017-10-27 15:48:32 +08:00
2017-11-09 12:14:08 +01:00
2017-10-15 18:18:13 -07:00
2017-11-09 12:14:08 +01:00
2017-10-27 15:16:53 +08:00
2017-11-14 17:18:17 +08:00
2017-10-15 18:18:13 -07:00
2017-10-27 15:48:32 +08:00
2017-11-10 14:59:43 -08:00
2017-11-10 14:59:43 -08:00
2017-11-09 12:14:08 +01:00
2017-11-09 12:14:08 +01:00
2017-11-09 12:14:08 +01:00
2017-11-03 10:24:49 -07:00
2017-11-01 16:30:32 -07:00
2017-10-15 18:18:13 -07:00
2017-06-22 11:31:03 -07:00
2017-06-22 11:31:03 -07:00
2017-11-15 10:56:44 -08:00
2017-07-20 13:10:15 +02:00
2017-10-17 08:31:50 +08:00
2017-11-15 10:56:44 -08:00
2017-11-15 10:56:44 -08:00
2017-11-10 15:13:53 -08:00
2017-11-15 17:47:10 -08:00
2017-11-09 12:14:08 +01:00
2017-06-22 10:25:57 -07:00
2017-11-15 10:56:44 -08:00
2017-07-19 11:33:06 +08:00
2017-10-06 14:59:17 +02:00
2017-11-09 13:43:30 -08:00
2017-10-13 09:21:54 +08:00
2017-09-26 09:57:06 +08:00
2017-11-16 10:36:10 -08:00
2017-06-22 11:30:59 -07:00
2017-07-19 11:33:06 +08:00
2017-07-10 14:05:46 -07:00
2017-07-19 11:33:06 +08:00
2017-07-19 11:33:06 +08:00
2017-07-19 11:33:06 +08:00
2017-10-13 10:24:09 -04:00
2017-07-19 11:33:06 +08:00
2017-07-19 11:33:06 +08:00
2017-08-30 16:45:04 +02:00
2017-07-19 11:33:06 +08:00
2017-01-10 16:34:00 -08:00
2017-07-14 19:17:12 +02:00
2017-11-10 13:14:40 +01:00