* now uses args_long2shortoption()
authorkramm <kramm>
Tue, 23 Oct 2001 17:06:42 +0000 (17:06 +0000)
committerkramm <kramm>
Tue, 23 Oct 2001 17:06:42 +0000 (17:06 +0000)

No differences found