diff options
Diffstat (limited to 'doc/.document')
-rw-r--r-- | doc/.document | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/.document b/doc/.document index bf03a6d956..b48c0387a7 100644 --- a/doc/.document +++ b/doc/.document @@ -1,3 +1,4 @@ *.rdoc ChangeLog* NEWS-* +syntax |