*: License under GPL v3+.

[config/dotfiles.git] / gdbinit

diff --git a/gdbinit b/gdbinit
index 708a255b1ec39482b0e32d0095ef07c838dad452..82811ca74c3c5d9b977e0907febdcab90e1b6cd1 100644 (file)
--- a/gdbinit
+++ b/gdbinit
@@ -1,5 +1,20 @@
 # GDB (GNU debugger) configuration file.
 
+# Copyright (C) 2011-2012  Simon Ruderich
+#
+# This file is free software: you can redistribute it and/or modify
+# it under the terms of the GNU General Public License as published by
+# the Free Software Foundation, either version 3 of the License, or
+# (at your option) any later version.
+#
+# This file is distributed in the hope that it will be useful,
+# but WITHOUT ANY WARRANTY; without even the implied warranty of
+# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+# GNU General Public License for more details.
+#
+# You should have received a copy of the GNU General Public License
+# along with this file.  If not, see <http://www.gnu.org/licenses/>.
+
 
 # Save command history.
 set history save on