| commit | 810fbe39b2712853d08df74469f373254b5f30cc | [log] [tgz] |
|---|---|---|
| author | Tom Tromey <tom@tromey.com> | Wed Feb 08 11:26:24 2023 -0700 |
| committer | Tom Tromey <tom@tromey.com> | Mon Feb 27 11:04:44 2023 -0700 |
| tree | a9c7bafbec3a467830ee33e13928a64ad2204591 | |
| parent | 935d48567d9e12e1321d97d3867d42d59eda1daa [diff] |
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.