Skip to content
GitLab
Explore
Sign in
Thomas Lips
docker-resources
Issues
#1
git workflow
add git plugin for jupyter lab as to enable working conveniently in the containers