scripting
GDB и Python: как вернуть readline и историю ввода
Nov. 23, 03:02