From 9ee83923900fdc5abc4d9dfde6b765947f60a3a4 Mon Sep 17 00:00:00 2001
From: "Kenneth Benzie (Benie)" <benie@infektor.net>
Date: Tue, 23 Oct 2018 16:31:09 +0100
Subject: [PATCH] Don't save gdb history

---
 gdbinit | 1 -
 1 file changed, 1 deletion(-)

diff --git a/gdbinit b/gdbinit
index 2e69ae0..4979a98 100644
--- a/gdbinit
+++ b/gdbinit
@@ -1,2 +1 @@
-set history save on
 set print pretty on