Permalink
Commits on Sep 17, 2018
  1. Merge pull request #172 from crocs-muni/devel

    petrs committed Sep 17, 2018
    v1.7.5
  2. updates for release v1.7.5

    petrs committed Sep 17, 2018
  3. Merge pull request #171 from crocs-muni/devel

    petrs committed Sep 17, 2018
    Devel
  4. fixes #170

    petrs committed Sep 17, 2018
    fixes #170 - out of bounds exceptions