Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
[JENKINS-27152] Ameliorate problem by at least using a predictable co…
…ntrol directory name. This makes it easy to add to .gitignore and the like.
- Loading branch information