Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in
Toggle navigation
Menu
Open sidebar
Pmodules
src
Merge requests
!106
Merged
Created
Oct 28, 2021
by
gsell
@gsell
Owner
Options
fixes in module search sub-command
Overview
0
Commits
1
Changes
1
error fixed in printing the modulefile
sanity checks added if --src is specified
(cherry picked from commit
c22422ac
)
