diff options
author | Patrice Clement <monsieurp@gentoo.org> | 2017-08-13 21:02:06 +0200 |
---|---|---|
committer | Patrice Clement <monsieurp@gentoo.org> | 2017-08-13 21:02:06 +0200 |
commit | d0bce58024d109dfc5a91a074841836e92fe542b (patch) | |
tree | ed7db51cde13a17d71f7af1f3447dbc4617671b7 | |
parent | reformat usage text (diff) | |
download | javatoolkit-d0bce58024d109dfc5a91a074841836e92fe542b.tar.gz javatoolkit-d0bce58024d109dfc5a91a074841836e92fe542b.tar.bz2 javatoolkit-d0bce58024d109dfc5a91a074841836e92fe542b.zip |
remove useless header once again
-rwxr-xr-x | src/py/xml-rewrite.py | 16 |
1 files changed, 0 insertions, 16 deletions
diff --git a/src/py/xml-rewrite.py b/src/py/xml-rewrite.py index b164b6e..bb9141c 100755 --- a/src/py/xml-rewrite.py +++ b/src/py/xml-rewrite.py @@ -1,18 +1,6 @@ #!/usr/bin/env python3 -# -*- coding: UTF-8 -*- - # Copyright 2004 Gentoo Foundation # Distributed under the terms of the GNU General Public Licence v2 -# $Header: /var/cvsroot/gentoo-src/javatoolkit/src/bsfix/xml-rewrite.py,v 1.6 2005/07/19 10:35:18 axxo Exp $ - -# Author: Saleem Abdulrasool <compnerd@compnerd.org> -# Maintainer: Gentoo Java Herd <java@gentoo.org> -# Python based XML modifier - -# ChangeLog -# Saleem A. <compnerd@compnerd.org> -# December 23, 2004 - Initial Write -# December 24, 2004 - Added usage information import sys @@ -87,10 +75,6 @@ def main(): print("ERROR: " + message) sys.exit(1) - -# if len(sys.argv) == 1: -# usage(True) - options_list = [ make_option("-f", "--file", type="string", dest="file", help="Read input from file instead of stdin"), |