commit | 8b31bb7a499d37ec740f4538b60c454396163088 | [log] [tgz] |
---|---|---|
author | Filip Pytloun <filip@pytloun.cz> | Thu May 18 14:53:38 2017 +0200 |
committer | GitHub <noreply@github.com> | Thu May 18 14:53:38 2017 +0200 |
tree | ff00cd2e6c6a7b0becee519e29677d3914fb8173 | |
parent | 5e150f5877daa195f8d7793142f1200da0be4bc5 [diff] | |
parent | f3f33a871b8546229e5cfdafcdb6bc093abbdd84 [diff] |
Merge pull request #5 from dukov/master Policy.json should be defined by user