Fix database name (IR-Explain---1, not Default)
[irspy-moved-to-github.git] / bin / .gdbinit
2006-10-26 Mike TaylorNew