From 638e6e56024337335f28fb172bed5950e14b6506 Mon Sep 17 00:00:00 2001
From: Per <Per Lindgren>
Date: Sun, 4 Mar 2018 13:45:11 +0100
Subject: [PATCH] rename

---
 .gdbinit => gdbinit_klee | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 rename .gdbinit => gdbinit_klee (100%)

diff --git a/.gdbinit b/gdbinit_klee
similarity index 100%
rename from .gdbinit
rename to gdbinit_klee
-- 
GitLab