Mentions légales du service
Skip to content
GitLab
Explore
Sign in
grid5000
environments-recipes
Merge requests
!58
Misc disk manager
Code
Review changes
Check out branch
Download
Patches
Plain diff
Alexandre MERLIN
requested to merge
misc-disk-manager
into
master
Jun 08, 2020
Overview
0
Commits
6
Pipelines
0
Changes
7
Expand
rename g5k-disk-manager to g5k-disk-manager backend
small fixes in g5k-disk-manager
allow g5k-users and users to create tap
Edited
Jun 08, 2020
by
Alexandre MERLIN
Merge request reports