Václav Kadlčík 12f68ebab5 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-02-27 09:56:00 +01:00
..
ci.fmf	Remove an obsoleted option from the CI plan	2023-02-27 09:56:00 +01:00