Skip to content
GitLab
Explore
Sign in
Alexandru Dura
pintos-public
Repository
pintos-public
pintos
setup.sh
Find file
Blame
History
Permalink
Move the setup script to its old location
· 30ec7d78
Alexandru Dura
authored
Mar 24, 2021
30ec7d78