gdb-command 0.7.0

Wrapper for gdb in batch mode.
Documentation