diff options
Diffstat (limited to 'docs/manual/patch-policy.txt')
| -rw-r--r-- | docs/manual/patch-policy.txt | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/docs/manual/patch-policy.txt b/docs/manual/patch-policy.txt index 9bc6537ca..78ac5b645 100644 --- a/docs/manual/patch-policy.txt +++ b/docs/manual/patch-policy.txt @@ -1,4 +1,5 @@ // -*- mode:doc; -*- +// vim: set syntax=asciidoc: [[patch-policy]] |