]> git.rmz.io Git - dotfiles.git/commitdiff
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)

No differences found