diff options
-rw-r--r-- | docs/users_guide/exts/patterns.rst | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/docs/users_guide/exts/patterns.rst b/docs/users_guide/exts/patterns.rst index ceb96c7df7..f55583fb0b 100644 --- a/docs/users_guide/exts/patterns.rst +++ b/docs/users_guide/exts/patterns.rst @@ -10,4 +10,3 @@ Patterns view_patterns nk_patterns pattern_synonyms - type_applications |