diff --git a/nnef/.gdb_history b/nnef/.gdb_history deleted file mode 100644 index 26478764e8..0000000000 --- a/nnef/.gdb_history +++ /dev/null @@ -1,2 +0,0 @@ -run -bt