New options added:
[gnucomo.git] / NEWS