diff COPYING @ 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 c07bcdc6e1bd
children
line wrap: on
line diff