diff Makefile @ 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 4589d48c9e1b
children 055f9254d790
line wrap: on
line diff