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