gdbinit file

2019-10-14 14:28:53 +02:00
parent 5d65be0876
commit 7192ebdd87
1 changed files with 4 additions and 0 deletions
@@ -0,0 +1,4 @@
+set history save on
+set print pretty on
+set pagination off
+set confirm off