]>
git.tuebingen.mpg.de Git - paraslash.git/blobdiff - command_util.sh
template=0
template_name=""
template_prototype=""
template=0
template_name=""
template_prototype=""
while read key value; do
case "$key" in
---)
while read key value; do
case "$key" in
---)