From 810fbe39b2712853d08df74469f373254b5f30cc Mon Sep 17 00:00:00 2001 From: Tom Tromey Date: Wed, 8 Feb 2023 11:26:24 -0700 Subject: 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. --- gdb/gdbcopyright.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'gdb/gdbcopyright.py') 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} -- cgit v1.1