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

Remove .gradle from plugin ids #115

Merged
merged 25 commits into from
Jan 25, 2020
Merged

Remove .gradle from plugin ids #115

merged 25 commits into from
Jan 25, 2020

Conversation

nedtwigg
Copy link
Member

No description provided.

@nedtwigg nedtwigg force-pushed the feat/move-plugin-ids branch 2 times, most recently from 9f6f887 to 0d9cd11 Compare January 25, 2020 04:22
@nedtwigg nedtwigg merged commit df8bfdf into master Jan 25, 2020
@nedtwigg nedtwigg deleted the feat/move-plugin-ids branch January 25, 2020 05:46
@nedtwigg nedtwigg changed the title Bump dependency versions. Remove .gradle from plugin ids Jan 25, 2020
liblit added a commit to liblit/WALA that referenced this pull request Jan 28, 2020
Per <diffplug/goomph#115>, the diffplug
plugins have all removed ".gradle" from their names.
liblit added a commit to wala/WALA that referenced this pull request Jan 28, 2020
Per <diffplug/goomph#115>, the diffplug
plugins have all removed ".gradle" from their names.
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

1 participant