From 3e2dddfad5539560a9a555a2c18f50f217156fa2 Mon Sep 17 00:00:00 2001 From: Christian Schilling Date: Fri, 18 Mar 2022 13:59:50 +0100 Subject: [PATCH] Update filters.md --- docs/src/reference/filters.md | 2 -- 1 file changed, 2 deletions(-) diff --git a/docs/src/reference/filters.md b/docs/src/reference/filters.md index c427b7a40..fb2b0efc6 100644 --- a/docs/src/reference/filters.md +++ b/docs/src/reference/filters.md @@ -56,7 +56,6 @@ The resulting tree will contain the contents of the workspace root as well as additional files specifed in the ``workspace.josh`` file. (see [Workspaces](./workspace.md)) - Filter order matters --------------------