From: Adam Chlipala Date: Sat, 23 Jun 2007 19:34:56 +0000 (+0000) Subject: Ignore dotfiles in running a whole directory X-Git-Tag: release_2010-11-19~189 X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/commitdiff_plain/0c85f25e773621daeb1b4ecff989dfbb602a8918?hp=0c85f25e773621daeb1b4ecff989dfbb602a8918 Ignore dotfiles in running a whole directory ---