diff options
Diffstat (limited to 'doc/tools/index-texi')
| -rwxr-xr-x | doc/tools/index-texi | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/doc/tools/index-texi b/doc/tools/index-texi index 8aa85184..8bd02dd9 100755 --- a/doc/tools/index-texi +++ b/doc/tools/index-texi @@ -53,8 +53,3 @@ sub dehtml return $str; } - -# Local Variables: -# mode: perl -# fill-column: 120 -# End: |