editors/__init__.py
author Andrey Skvortsov <andrej.skvortzov@gmail.com>
Mon, 18 Mar 2019 12:09:41 +0300
changeset 2547 fc7de3c128cd
parent 814 5743cbdff669
permissions -rw-r--r--
check_source.sh: fix sed error: -e expression #1, char 25: Invalid range end

Warning happen only if old sed (4.4) is used.