Skip to content

Conversation

@samuelbernardolip
Copy link
Collaborator

Fixes #134 #136

Signed-off-by: Samuel Bernardo <samuel@lip.pt>
@samuelbernardolip samuelbernardolip added the enhancement New feature or request label Feb 3, 2022
@samuelbernardolip samuelbernardolip added this to the 2.1.2 milestone Feb 3, 2022
@samuelbernardolip samuelbernardolip self-assigned this Feb 3, 2022
Signed-off-by: Samuel Bernardo <samuel@lip.pt>
@samuelbernardolip samuelbernardolip marked this pull request as ready for review June 29, 2022 10:01
Copy link
Member

@orviz orviz left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Document maven tool support in a similiar way as tox is now

Copy link
Member

@orviz orviz left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Document maven tool support in a similiar way as tox is now

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

enhancement New feature or request

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants