descriptionUnnamed repository; edit this file to name it for gitweb.
last changeThu, 20 Nov 2014 21:42:13 +0000 (22:42 +0100)
shortlog
2014-11-20 Nikos Mavrogiannopoulosupdated configure instructions master
2014-11-20 Nikos Mavrogiannopoulosinitial recipes
heads
19 months ago master