#3 Add plugin w0rp/ale

Merged
Deuchnord merged 1 commits from plugin-ale into master 5 years ago
Q A
Add a plugin? Yes
If so, URL of the plugin https://github.com/w0rp/ale
Modify the configuration? No
| Q | A | --- | --- | Add a plugin? | Yes | If so, URL of the plugin | https://github.com/w0rp/ale | Modify the configuration? | No
Deuchnord closed this pull request 5 years ago
Deuchnord deleted branch plugin-ale 5 years ago
The pull request has been merged as 8e86ccdc0d.
Sign in to join this conversation.
No reviewers
No Milestone
No Assignees
1 Participants
Notifications
Due Date

No due date set.

Dependencies

This pull request currently doesn't have any dependencies.

Loading…
There is no content yet.