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

Make tomcat7 the default profile and rebase patches accordingly. #111

Merged
merged 4 commits into from
Feb 3, 2014
Merged

Make tomcat7 the default profile and rebase patches accordingly. #111

merged 4 commits into from
Feb 3, 2014

Conversation

ellert
Copy link
Contributor

@ellert ellert commented Aug 21, 2013

Make tomcat7 the default profile and rebase patches accordingly.
Fixes issue #28.

kofemann added a commit that referenced this pull request Feb 3, 2014
Make tomcat7 the default profile and rebase patches accordingly.
@kofemann kofemann merged commit 068396b into jglobus:master Feb 3, 2014
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.

2 participants