execline
--------

Binaries are installed in /usr/lib/execline/bin. So if you want to write
execline scripts, please extend your PATH with /usr/lib/execline/bin before
using them.

Please see the reason at <https://bugs.debian.org/906250>.

 -- Shengjing Zhu <zhsj@debian.org>  Wed, 05 Sep 2018 10:50:00 +0800