☰
DDOCs
DDN-DEV-GDBMI
v2.1.0
/
ddn.dev.gdbmi
/
GdbMiConsoleManager.saveHistory
🔍
☾
GdbMiConsoleManager.saveHistory
void saveHistory()
@trusted
Saves history to the history file.