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