diff options
Diffstat (limited to 'changes/ticket31175')
| -rw-r--r-- | changes/ticket31175 | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/changes/ticket31175 b/changes/ticket31175 deleted file mode 100644 index cff13761a4..0000000000 --- a/changes/ticket31175 +++ /dev/null @@ -1,3 +0,0 @@ - o Minor features (development tools): - - Our best-practices tracker now looks at headers as well as - C files. Closes ticket 31175. |