Louwrentius 0a35341033 Renamed all command line options in long format that is more readable.		2009-03-01 23:25:16 +00:00
ppss.sh	Renamed all command line options in long format that is more readable.	2009-03-01 23:25:16 +00:00