]> git.tuebingen.mpg.de Git - paraslash.git/blob - m4/lls/include/help.m4
Merge branch 'refs/heads/t/clean_server_exit'
[paraslash.git] / m4 / lls / include / help.m4
1 [option help]
2         summary = print help and exit
3         short_opt = h