description | Unnamed repository; edit this file to name it for gitweb. |
last change | Thu, 20 Nov 2014 21:42:13 +0000 (22:42 +0100) |
2014-11-20 | Nikos Mavrogiannopoulos | updated configure instructions master | commit | commitdiff | tree | snapshot |
2014-11-20 | Nikos Mavrogiannopoulos | initial recipes | commit | commitdiff | tree | snapshot |
7 years ago | master | shortlog | log | tree |