diff options
Diffstat (limited to 'src/etc/rust-gdbgui')
| -rwxr-xr-x | src/etc/rust-gdbgui | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/src/etc/rust-gdbgui b/src/etc/rust-gdbgui index 7e179ba927d..08d598cde1c 100755 --- a/src/etc/rust-gdbgui +++ b/src/etc/rust-gdbgui @@ -1,13 +1,4 @@ #!/bin/sh -# Copyright 2014 The Rust Project Developers. See the COPYRIGHT -# file at the top-level directory of this distribution and at -# http://rust-lang.org/COPYRIGHT. -# -# Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or -# http://www.apache.org/licenses/LICENSE-2.0> or the MIT license -# <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your -# option. This file may not be copied, modified, or distributed -# except according to those terms. # Exit if anything fails set -e |