[common] rework option API to allow for custom types

This commit is contained in:
Geoffrey McRae
2019-05-11 20:58:49 +10:00
parent 5b199d8f25
commit 538a6dc08e
3 changed files with 129 additions and 89 deletions

View File

@@ -1 +1 @@
a12-180-g51ddb62126+1
a12-181-g5b199d8f25+1