gdbinit
authorMichael Wallner <mike@php.net>
Tue, 17 Apr 2018 11:27:13 +0000 (13:27 +0200)
committerMichael Wallner <mike@php.net>
Tue, 17 Apr 2018 11:27:13 +0000 (13:27 +0200)
commit4be991c1cf5c9f426fa5c6dd7f6d91456cec39f3
tree797ccf4649f99cfceffc838b3670ed400cf40551
parent10e51aad0515e80adeb96a47776a2d80e62a98bc
gdbinit
.gdbinit [new file with mode: 0644]