diff options
| author | Kevin Quick <kquick@galois.com> | 2020-09-24 22:42:59 -0700 |
|---|---|---|
| committer | Kevin Quick <kquick@galois.com> | 2020-09-24 22:42:59 -0700 |
| commit | a439e9488df6c13d0e44dd4816df98487d69f4c6 (patch) | |
| tree | bd88f92af674143ccee9082f36bb39f8799e0caf /src/libstore | |
| parent | 83fec38fc93922192ada7c0409fec76578ef8dfb (diff) | |
Support StringMap configuration settings.
Allows Configuration values that are space-separated key=value pairs.
Diffstat (limited to 'src/libstore')
0 files changed, 0 insertions, 0 deletions