diff options
| author | Phil Blundell <philb@gnu.org> | 2004-09-24 20:28:59 +0000 |
|---|---|---|
| committer | Phil Blundell <philb@gnu.org> | 2004-09-24 20:28:59 +0000 |
| commit | 3f521991c652ffa4ece731734c6f8063ac2c3fc4 (patch) | |
| tree | 2d533668f57a0a3876a68bea4f20f26b10808f5c /recordext | |
| parent | 86182e5bd22f80718af59dce1c04796aa07872a6 (diff) | |
fix up do_install for old gdb
BKrev: 4154838bnUkQVQLlW31pFXd_YHt2sA
Diffstat (limited to 'recordext')
0 files changed, 0 insertions, 0 deletions