diff options
author | Eelco Dolstra <eelco.dolstra@logicblox.com> | 2017-10-12T11·10+0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-10-12T11·10+0200 |
commit | 97307811ee478c30472539a477981d24ec0971de (patch) | |
tree | b4fd1ba4f5f6575bcf6472a85985152173830f97 /src/libstore/globals.hh | |
parent | 73252aef18c73f4834b346c677fb723c3a58fb37 (diff) | |
parent | 6920c237016e5f33d06f948a6f8485e23c1900f6 (diff) |
Merge pull request #1571 from teto/improve_priority_msg
Improve error message for conflicting priorities
Diffstat (limited to 'src/libstore/globals.hh')
0 files changed, 0 insertions, 0 deletions