genode/repos/base-foc/recipes
2019-08-13 12:02:27 +02:00
..
src foc: exclude .git directories from src archives 2019-08-13 12:02:27 +02:00