diff options
| author | Tom Tromey <tom@tromey.com> | 2023-02-08 11:26:24 -0700 |
|---|---|---|
| committer | Tom Tromey <tom@tromey.com> | 2023-02-27 11:04:44 -0700 |
| commit | 810fbe39b2712853d08df74469f373254b5f30cc (patch) | |
| tree | a9c7bafbec3a467830ee33e13928a64ad2204591 /gdb/gdbcopyright.py | |
| parent | 935d48567d9e12e1321d97d3867d42d59eda1daa (diff) | |
| download | binutils-810fbe39b2712853d08df74469f373254b5f30cc.zip binutils-810fbe39b2712853d08df74469f373254b5f30cc.tar.gz binutils-810fbe39b2712853d08df74469f373254b5f30cc.tar.bz2 | |
Remove old GNU indent directives
Now that gdb_indent.sh has been removed, I think it makes sense to
also remove the directives intended for GNU indent.
Diffstat (limited to 'gdb/gdbcopyright.py')
| -rw-r--r-- | gdb/gdbcopyright.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gdb/gdbcopyright.py b/gdb/gdbcopyright.py index 9a52bc1..e87ce0d 100644 --- a/gdb/gdbcopyright.py +++ b/gdb/gdbcopyright.py @@ -25,7 +25,7 @@ def copyright(tool, description): if line.startswith("# Copyright (C) "): dateline = line[1:].strip() break - return f"""/* *INDENT-OFF* */ /* THIS FILE IS GENERATED -*- buffer-read-only: t -*- */ + return f"""/* THIS FILE IS GENERATED -*- buffer-read-only: t -*- */ /* vi:set ro: */ /* {description} |