diff options
| -rw-r--r-- | gdb/.Sanitize | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/gdb/.Sanitize b/gdb/.Sanitize index 44f54d2..3497e90 100644 --- a/gdb/.Sanitize +++ b/gdb/.Sanitize @@ -1,6 +1,4 @@ # .Sanitize for devo/gdb. -# $Id$ -# # Each directory to survive it's way into a release will need a file # like this one called "./.Sanitize". All keyword lines must exist, |