commit | cf7a8c8842ac101983f36234d70865e7ed32e445 | [log] [tgz] |
---|---|---|
author | Filip Pytloun <filip@pytloun.cz> | Wed May 03 14:27:40 2017 +0200 |
committer | GitHub <noreply@github.com> | Wed May 03 14:27:40 2017 +0200 |
tree | f3f01f608c0716edea7c06adc3bbfc52138daaa2 | |
parent | e05f0c1c572334208a8ca39ffcd6fa49488ed611 [diff] | |
parent | f58264b859bda003a0a6d01763cc3e4607ba0788 [diff] |
Merge pull request #11 from dukov/master Policy.json should be defined by user