Ignore dotfiles in running a whole directory
authorAdam Chlipala <adamc@hcoop.net>
Sat, 23 Jun 2007 19:34:56 +0000 (19:34 +0000)
committerAdam Chlipala <adamc@hcoop.net>
Sat, 23 Jun 2007 19:34:56 +0000 (19:34 +0000)

No differences found