comparison tools/common.sh @ 791:05ee7d5351de

editor: simplify add_directory() a bit more
author Patrick Mezard <pmezard@gmail.com>
date Wed, 09 Mar 2011 22:07:17 +0100
parents 5071b8511572
children
comparison
equal deleted inserted replaced
790:3173f418079c 791:05ee7d5351de