Oscar Gonzalez Fernandez 2e25b34c95 Extract repeated Makefile ... A great deal of duplication is removed.		2013-12-03 12:42:49 +01:00
..
src	Extract repeated Makefile	2013-12-03 12:42:49 +01:00
tools	Extract repeated Makefile	2013-12-03 12:42:49 +01:00