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/defs.h | |
parent | 935d48567d9e12e1321d97d3867d42d59eda1daa (diff) | |
download | gdb-810fbe39b2712853d08df74469f373254b5f30cc.zip gdb-810fbe39b2712853d08df74469f373254b5f30cc.tar.gz gdb-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/defs.h')
-rw-r--r-- | gdb/defs.h | 2 |
1 files changed, 0 insertions, 2 deletions
@@ -1,5 +1,3 @@ -/* *INDENT-OFF* */ /* ATTRIBUTE_PRINTF confuses indent, avoid running it - for now. */ /* Basic, host-specific, and target-specific definitions for GDB. Copyright (C) 1986-2023 Free Software Foundation, Inc. |