diff misc/are-options-documented @ 182:0976977ccc52

added a development helper script to update the date and version in man pages
author meillo@marmaro.de
date Wed, 14 Jul 2010 21:59:23 +0200
parents 867bb186a829
children
line wrap: on
line diff