tree 82358e7698f01bae68e36b97addac24272fe1966
parent 378f339fc9b35e8cadaf1a7d88b09ae3169df9db
author Petr Ruzicka <petr.ruzicka@gmail.com> 1517324827 +0100
committer Petr Ruzicka <petr.ruzicka@gmail.com> 1517324827 +0100

Documentation and TravisCI fixes