diff options
Diffstat (limited to 'doc/plugins/rules.txt')
-rw-r--r-- | doc/plugins/rules.txt | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/doc/plugins/rules.txt b/doc/plugins/rules.txt deleted file mode 100644 index 8d32df856..000000000 --- a/doc/plugins/rules.txt +++ /dev/null @@ -1,5 +0,0 @@ -.. -*- mode: rst -*- - -===== -Rules -===== |