Marcus Schäfer 6fe8a2a9d6 Allow use of more fine grain ignore repos options ... The meaning of the --ignore-repos option has changed back to ignore all configured repositories. A new option named --ignore-repos-used-for-build has been added which allows to ignore all except imageonly repositories. The command manual pages has been changed to document the options. This Fixes #410		2017-07-14 11:55:32 +02:00
..
source	Allow use of more fine grain ignore repos options	2017-07-14 11:55:32 +02:00
Makefile	Build schema documentation with Oxygen	2017-06-29 10:38:45 +02:00