Clear error message for trying to run all config in a nonexistent directory
authorAdam Chlipala <adamc@hcoop.net>
Thu, 17 May 2007 19:12:40 +0000 (19:12 +0000)
committerAdam Chlipala <adamc@hcoop.net>
Thu, 17 May 2007 19:12:40 +0000 (19:12 +0000)

No differences found