Commit 1c730ee7 authored by Ondřej Zajíček's avatar Ondřej Zajíček

Doc: Remove doc for already removed option

parent b8a3608a
Pipeline #44660 passed with stages
in 3 minutes and 53 seconds