1. d6d6cd9 Fix wrong edit (#5) by Martin Polreich · 7 years ago
  2. d82ac71 Few more fixes to work in TravisCI properly by Petr Ruzicka · 7 years ago
  3. 8ebb5c7 Docker way documented + directory fix by Petr Ruzicka · 7 years ago