Leonid Pliushch 27e89c15f5 alternatives: more editors can be used as alternative for /bin/editor		2019-08-10 22:34:54 +03:00
..
build.sh	alternatives: more editors can be used as alternative for /bin/editor	2019-08-10 22:34:54 +03:00