diff options
| author | Paolo Bonzini <pbonzini@redhat.com> | 2020-10-26 10:30:17 -0400 |
|---|---|---|
| committer | Paolo Bonzini <pbonzini@redhat.com> | 2020-12-10 12:15:05 -0500 |
| commit | b57e3e9785271a20b00f43d469b3011d0127e565 (patch) | |
| tree | fc95ba75e5a0e2336cfabc68ac1cf7fd7f8aabc9 /.gdbinit | |
| parent | 0ad3b5d3ee312e893d92be2de4b7123e03e6119d (diff) | |
hppa: remove bios_name
Cc: Richard Henderson <richard.henderson@linaro.org>
Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>
Reviewed-by: Alex Bennée <alex.bennee@linaro.org>
Reviewed-by: Philippe Mathieu-Daudé <f4bug@amsat.org>
Message-Id: <20201026143028.3034018-5-pbonzini@redhat.com>
Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>
Diffstat (limited to '.gdbinit')
0 files changed, 0 insertions, 0 deletions