Title:          bash-dev.tcz
Description:    bash devs
Version:        5.1
Author:         Chet Ramey
Original-site:  www.gnu.org/software/bash/
Copying-policy: GPL
Size:		108KB
Extension_by:   juanito
Tags:	    	bash
Comments:       Bash is a shell for Linux
		This extension is PPI compatible
                ----------
Change-log:     2016/10/20 first version
                2017/12/09 updated 4.4 -> 4.4.12
                2018/03/16 recompiled against updated readline
                2018/11/11 updated 4.4.12 -> 4.4.18 (juanito)
Current:	2020/12/21 updated 4.4.18 -> 5.1 (juanito)