commit | 11669a8b4c9c3475bd2c6840f63bb3aa99b05016 | [log] [tgz] |
---|---|---|
author | Adam Rutkowski <hq@mtod.org> | Wed Nov 15 09:10:29 2017 +0100 |
committer | GitHub <noreply@github.com> | Wed Nov 15 09:10:29 2017 +0100 |
tree | 619b13f4f259287a93bb5e9aa9b2fccf4d0aeadf | |
parent | 4480def0b27f8821af4c86d354205d8eab195281 [diff] | |
parent | 794b4a5121bcbb0b94e803b57829a42b35185226 [diff] |
Merge pull request #41 from tuncer/ci-dialyze