DIVINE:master commits
https://gitlab.fi.muni.cz/paradise/DIVINE/-/commits/master
2016-10-27T09:36:47+02:00
https://gitlab.fi.muni.cz/paradise/DIVINE/-/commit/71a0b750c14d5064a40e043af9640da876ad9982
Add placeholder readme.
2016-10-27T09:36:47+02:00
Vladimir Still
xstill@fi.muni.cz