Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Correct default phpunit configuration filename. #3

Merged
merged 1 commit into from Aug 6, 2012
Merged

Correct default phpunit configuration filename. #3

merged 1 commit into from Aug 6, 2012

Conversation

marijn
Copy link
Contributor

@marijn marijn commented Aug 6, 2012

The phpunit.xml.dist file will now be detected when running $ phpunit.

The `phpunit.xml.dist` file will now be detected when running `$ phpunit`.
ramsey added a commit that referenced this pull request Aug 6, 2012
Correct default `phpunit` configuration filename.
@ramsey ramsey merged commit 3415a1e into ramsey:master Aug 6, 2012
@ramsey
Copy link
Owner

ramsey commented Aug 6, 2012

Thanks!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants