Title:          bash-dev.tcz
Description:    bash devs
Version:        4.4.18
Author:         Chet Ramey
Original-site:  www.gnu.org/software/bash/
Copying-policy: GPL
Size:		100KB
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
Current:	2018/11/11 updated 4.4.12 -> 4.4.18