]> git.rmz.io Git - dotfiles.git/commit
gdb: increase history size and store hisfile in global location
authorSamir Benmendil <samir.benmendil@ultrahaptics.com>
Tue, 29 Jan 2019 07:17:29 +0000 (07:17 +0000)
committerSamir Benmendil <samir.benmendil@ultrahaptics.com>
Tue, 29 Jan 2019 07:17:29 +0000 (07:17 +0000)
commitdc55789ffa0bc72da62514e8301153db6171a22c
tree3b62540cf15e5d603de66daf0fc7b42a01c07b03
parent70b195b2c40ea7453ff9ec6baf92c0044e62e095
gdb: increase history size and store hisfile in global location
Makefile
gdbinit