Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
As explained in #1170, we do have issues with creating documentations without a separate folder and linking to them. To ease developer experience we remove this check. Although we might encounter redirects within the documentation. Signed-off-by: Simon Schrottner <[email protected]>
- Loading branch information