Added user-manual option (FIXME: Needs comment)
authoroes <oes@users.sourceforge.net>
Fri, 26 Apr 2002 12:54:51 +0000 (12:54 +0000)
committeroes <oes@users.sourceforge.net>
Fri, 26 Apr 2002 12:54:51 +0000 (12:54 +0000)
commitbc595c3764419c51345b9e0f488e71706a85541a
treeaaec5c04ed83047e708a4e17d5ed8e0c00c79995
parent78a8b17df0e945ec12addd68c81598dcba337209
Added user-manual option (FIXME: Needs comment)
config