fix restart option (noticed by Stanford K. Baldwin)
tree2758fc60365491d1cf66619392f7579cccc5992b
-rw-r--r-- 17982 COPYING
-rw-r--r-- 4551 Manifest
-rw-r--r-- 8412 README
-rw-r--r-- 0 Read-Manifest-Now
-rw-r--r-- 1894 Roadmap
-rw-r--r-- 60647 WHATSNEW.txt
drwxr-xr-x - docs
drwxr-xr-x - examples
drwxr-xr-x - packaging
drwxr-xr-x - pcp
drwxr-xr-x - source
drwxr-xr-x - swat
drwxr-xr-x - testsuite