diff options
Diffstat (limited to 'doc/tools/index-python')
| -rw-r--r-- | doc/tools/index-python | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/doc/tools/index-python b/doc/tools/index-python index 96cfcd8f..2a91e372 100644 --- a/doc/tools/index-python +++ b/doc/tools/index-python @@ -45,8 +45,3 @@ sub dehtml return $str; } - -# Local Variables: -# mode: perl -# fill-column: 120 -# End: |