diff options
Diffstat (limited to 'examples/usbtool/make-files.sh')
-rwxr-xr-x | examples/usbtool/make-files.sh | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/examples/usbtool/make-files.sh b/examples/usbtool/make-files.sh index c45f5b2..8519514 100755 --- a/examples/usbtool/make-files.sh +++ b/examples/usbtool/make-files.sh @@ -4,7 +4,6 @@ # Tabsize: 4 # Copyright: (c) 2008 by OBJECTIVE DEVELOPMENT Software GmbH # License: GNU GPL v2 (see License.txt), GNU GPL v3 or proprietary (CommercialLicense.txt) -# This Revision: $Id$ if [ "$1" = remove ]; then |