diff misc/are-options-documented @ 217:889505480a27

added an executable bit it was lost in the export--import of the changeset
author meillo@marmaro.de
date Mon, 19 Jul 2010 14:11:53 +0200
parents 867bb186a829
children
line wrap: on
line diff