Skip to content
GitLab
Explore
Sign in
scripting-tools
pjlsa
Merge requests
!4
remove useless check
Code
Review changes
Check out branch
Download
Patches
Plain diff
Riccardo De Maria
requested to merge
remove_useless_check
into
master
Apr 14, 2020
Overview
5
Commits
3
Pipelines
3
Changes
2
Expand
not needed any more since java is not instantiated at import time anymore
Merge request reports