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.
This commit is contained in:
Tom Tromey 2023-02-08 11:26:24 -07:00
parent 935d48567d
commit 810fbe39b2
15 changed files with 6 additions and 29 deletions

View file

@ -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}