diff options
author | John Gilmore <gnu@cygnus> | 1992-07-28 08:19:47 +0000 |
---|---|---|
committer | John Gilmore <gnu@cygnus> | 1992-07-28 08:19:47 +0000 |
commit | d6002bc45ccd1d41bc8caec0ef1efd6e7d07a9ee (patch) | |
tree | c9193fdc120a491f46816932ee6d1f561b46fc63 | |
parent | 3b9b1e6cd68bfa43cfa5c52dbc5187181945d4a0 (diff) | |
download | gdb-d6002bc45ccd1d41bc8caec0ef1efd6e7d07a9ee.zip gdb-d6002bc45ccd1d41bc8caec0ef1efd6e7d07a9ee.tar.gz gdb-d6002bc45ccd1d41bc8caec0ef1efd6e7d07a9ee.tar.bz2 |
Pull RCS ID.
-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, |