Václav Kadlčík da900fb040 Remove an obsoleted option from the CI plan ... TMT has obsoleted the "directory" option. We do not need to replace it with anything, the discovery phase works still the same way.		2023-03-01 09:16:03 +01:00
..
ci.fmf	Remove an obsoleted option from the CI plan	2023-03-01 09:16:03 +01:00