diff options
author | Michael Gehring <mg@ebfe.org> | 2016-11-28 17:14:39 +0100 |
---|---|---|
committer | Michael Gehring <mg@ebfe.org> | 2016-11-28 17:14:39 +0100 |
commit | 53cac02ed3a6aac6656c5fc29dbfb81085629854 (patch) | |
tree | bd728c9002d99d1039536b970868bfbb48a97152 | |
parent | 89ec48611a84a6b1bbe6b4176ccc59b7dee92f46 (diff) | |
download | xtools-53cac02ed3a6aac6656c5fc29dbfb81085629854.tar.gz xtools-53cac02ed3a6aac6656c5fc29dbfb81085629854.tar.xz xtools-53cac02ed3a6aac6656c5fc29dbfb81085629854.zip |
xlint: allow python_version
-rwxr-xr-x | xlint | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/xlint b/xlint index ecd5a6b..f79d8df 100755 --- a/xlint +++ b/xlint @@ -101,7 +101,7 @@ provides pycompile_dirs pycompile_module pycompile_version -python_versions +python_version register_shell replaces repository |