diff options
author | Michael Meissner <gnu@the-meissners.org> | 1996-09-20 12:46:09 +0000 |
---|---|---|
committer | Michael Meissner <gnu@the-meissners.org> | 1996-09-20 12:46:09 +0000 |
commit | 183632b2381803a4bbec321b09b87609ed87a934 (patch) | |
tree | 399f819b6ab95cabab5651829da76b5631516632 | |
parent | fd96c1f3208eedadac1fa2e2346e4e135824032e (diff) | |
download | gdb-183632b2381803a4bbec321b09b87609ed87a934.zip gdb-183632b2381803a4bbec321b09b87609ed87a934.tar.gz gdb-183632b2381803a4bbec321b09b87609ed87a934.tar.bz2 |
Add documentation files
-rw-r--r-- | sim/ppc/.Sanitize | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/sim/ppc/.Sanitize b/sim/ppc/.Sanitize index b1c0e19..d8e6be4 100644 --- a/sim/ppc/.Sanitize +++ b/sim/ppc/.Sanitize @@ -53,6 +53,7 @@ device.h device_table.c device_table.h dgen.c +doc double.c dp-bit.c emul_bugapi.c |