config/terminal
Archived
1
0
Fork 0
Code Issues 1 Pull Requests Releases Wiki Activity
This repository has been archived on 2021-01-19. You can view files and clone it. You cannot open issues or pull requests or push a commit.
Files
7937e2415a89ba7a0ba008304ffa568a4c67c832
terminal/gdbinit

3 lines
40 B
Plaintext
Raw Blame History

set history save on
set print pretty on
Reference in New Issue View Git Blame Copy Permalink