Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Avoid checking perms in CI generated directory
Ignore-this: c459a2184cba559ccce28532f49c30d2 darcs-hash:20120628195828-a43a9-6650f43f93615025f9d70bbd693546509d1084d9
- Loading branch information