diff options
| author | Sven Eden <yamakuzure@gmx.net> | 2018-08-14 18:39:33 +0200 |
|---|---|---|
| committer | Sven Eden <yamakuzure@gmx.net> | 2018-08-24 16:47:08 +0200 |
| commit | 1a7523a8c73ff91109c459da6f0af2fd3585e1e7 (patch) | |
| tree | 0de40838449f2e1b051669c1360f5b7f959e20fc /tools | |
| parent | 5df5d72136c7c0b4a45a76463cb3441404f29cb4 (diff) | |
Prep v239: Add missing updates that evaded migration.
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/make-directive-index.py | 2 | ||||
| -rwxr-xr-x | tools/make-man-index.py | 2 |
2 files changed, 0 insertions, 4 deletions
diff --git a/tools/make-directive-index.py b/tools/make-directive-index.py index ef407324d..620a67e97 100755 --- a/tools/make-directive-index.py +++ b/tools/make-directive-index.py @@ -1,8 +1,6 @@ #!/usr/bin/env python3 # -*- Mode: python; coding: utf-8; indent-tabs-mode: nil -*- */ # SPDX-License-Identifier: LGPL-2.1+ -# -# Copyright © 2012-2013 Zbigniew Jędrzejewski-Szmek import sys import collections diff --git a/tools/make-man-index.py b/tools/make-man-index.py index 70c02a8d7..246ce5f8e 100755 --- a/tools/make-man-index.py +++ b/tools/make-man-index.py @@ -1,8 +1,6 @@ #!/usr/bin/env python3 # -*- Mode: python; coding: utf-8; indent-tabs-mode: nil -*- */ # SPDX-License-Identifier: LGPL-2.1+ -# -# Copyright © 2013 Zbigniew Jędrzejewski-Szmek import collections import sys |