permit ksh extglobs in GNU bash
authormirabilos <tg@mirbsd.org>
Fri, 28 Aug 2015 22:24:49 +0000 (22:24 +0000)
committermirabilos <tg@mirbsd.org>
Fri, 28 Aug 2015 22:24:49 +0000 (22:24 +0000)
commit4cf4f3f00ca5f3e4c7ae2e83121c81a9c951e5d9
tree1d75156680223cfcc9acd340a50d2c327023e477
parent25ea9bd3ff804e3564e406cf351d580bb67f7991
permit ksh extglobs in GNU bash
bash-ksh/profile-funcs