From: Samir Benmendil <samir.benmendil@ultrahaptics.com>
Date: Tue, 29 Jan 2019 07:17:29 +0000 (+0000)
Subject: gdb: increase history size and store hisfile in global location
X-Git-Url: https://git.rmz.io/dotfiles.git/commitdiff_plain/dc55789ffa0bc72da62514e8301153db6171a22c?ds=sidebyside;hp=dc55789ffa0bc72da62514e8301153db6171a22c

gdb: increase history size and store hisfile in global location
---