Skip to content

Pull requests: QUVA-Lab/artemis

Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Assignee
Filter by who’s assigned
Sort

Pull requests list

Joep7
#145 opened Mar 8, 2024 by jnmaas Loading…
Joep6
#144 opened Mar 8, 2024 by jnmaas Loading…
Merging in old changes
#142 opened Apr 17, 2019 by petered Loading…
Time to merge all this stuff!
#140 opened Jan 22, 2019 by petered Loading…
IndentPrint now mocks stdout better
#133 opened Jul 18, 2018 by petered Loading…
Git plugin
#125 opened Apr 28, 2018 by petered Loading…
M ongoing changes
#118 opened Nov 15, 2017 by matthiasreisser Loading…
ProTip! Type g i on any issue or pull request to go back to the issue listing page.