diff contrib/bash_completion @ 1879:9ef0850b9b68

make clean now removes generated documentation.
author Thomas Arendsen Hein <thomas@intevation.de>
date Fri, 10 Mar 2006 20:06:41 +0100
parents 7e10518b2b9e
children 913397c27cd8
line wrap: on
line diff