and then, there are some more useful profile functions
authorThorsten Glaser <tg@mirbsd.org>
Sun, 13 Mar 2011 20:40:53 +0000 (20:40 +0000)
committerThorsten Glaser <tg@mirbsd.org>
Sun, 13 Mar 2011 20:40:53 +0000 (20:40 +0000)
commite3ea21036caa276011f3c98eedc03bae30545f90
treec07ba3db8ca574a3226689743f6212f091003161
parentb8e2b7a78afedd3feb7f33319d853fb7dbbaf90a
and then, there are some more useful profile functions
bash-ksh/profile-funcs