+some refinements to the readme
Change-Id: Ib45dd689347e7c68368a126b397c687839f84c05
Signed-off-by: makedonski <makedonski@informatik.uni-goettingen.de>
parent
670a09bf
Please register or sign in to comment
Change-Id: Ib45dd689347e7c68368a126b397c687839f84c05
Signed-off-by: makedonski <makedonski@informatik.uni-goettingen.de>