From 6d27ad9d199b04a90a8d7dfaa0ac3b8694dbb75c Mon Sep 17 00:00:00 2001 From: Francisco Date: Fri, 4 Dec 2020 20:47:56 +0000 Subject: [PATCH] add license header to gdbinit file --- .gdbinit | 9 +++++++++ 1 file changed, 9 insertions(+) diff --git a/.gdbinit b/.gdbinit index ac1495abc..5ceaea16d 100644 --- a/.gdbinit +++ b/.gdbinit @@ -1,9 +1,17 @@ +# +# Copyright 2013-2020 Software Radio Systems Limited +# +# By using this file, you agree to the terms and conditions set +# forth in the LICENSE file which can be found at the top level of +# the distribution. +# ############################################ # Pretty-Printers ############################################ python + ###### srslte::bounded_vector ######## class BoundedVectorPrinter(object): @@ -31,4 +39,5 @@ class BoundedVectorPrinter(object): return BoundedVectorPrinter(val) gdb.pretty_printers.append(BoundedVectorPrinter.make) + end