commit | 192bc008412d575a44af39de7ee0685649f4f50e | [log] [tgz] |
---|---|---|
author | Filip Pytloun <filip@pytloun.cz> | Thu May 18 14:51:34 2017 +0200 |
committer | GitHub <noreply@github.com> | Thu May 18 14:51:34 2017 +0200 |
tree | 9a397b0323d8a68311778118f6165da35808da99 | |
parent | 893b241b3a2546b2e2b07f0635db2ca70bd83794 [diff] | |
parent | 596ddcf6232da48f4438501debf1f472bbb05498 [diff] |
Merge pull request #8 from dukov/master Policy.json should be defined by user