diff options
Diffstat (limited to 'tools/make-man-index.py')
-rwxr-xr-x | tools/make-man-index.py | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/tools/make-man-index.py b/tools/make-man-index.py index 5ff3616652..f7bf9de35b 100755 --- a/tools/make-man-index.py +++ b/tools/make-man-index.py @@ -6,19 +6,6 @@ # # Copyright 2012 Lennart Poettering # Copyright 2013 Zbigniew Jędrzejewski-Szmek -# -# systemd is free software; you can redistribute it and/or modify it -# under the terms of the GNU Lesser General Public License as published by -# the Free Software Foundation; either version 2.1 of the License, or -# (at your option) any later version. -# -# systemd 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 -# Lesser General Public License for more details. -# -# You should have received a copy of the GNU Lesser General Public License -# along with systemd; If not, see <http://www.gnu.org/licenses/>. import collections import sys |