From 15eaea66e79554813ecac0668844d60a909084bb Mon Sep 17 00:00:00 2001
From: Charles-Axel Dein <ca@d3in.org>
Date: Thu, 5 Dec 2019 11:07:30 +0100
Subject: [PATCH] Fix gdbinit

---
 gdb/gdbinit | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/gdb/gdbinit b/gdb/gdbinit
index 2570e31..9422460 100644
--- a/gdb/gdbinit
+++ b/gdb/gdbinit
@@ -1 +1 @@
-set dis intel
+set disassembly-flavor intel