62a31f925c
moved to minor version 1
630f4d91f8
editor config
b85e0cf85b
hello window
61201e276c
first commit
tools: fix outdated filename in std_gdb_pretty_printers.py comment
b6aebc4117
tools: fix outdated filename in std_gdb_pretty_printers.py comment
c927d70bab
tools: fix outdated filename in std_gdb_pretty_printers.py comment