Skip to content
GitLab
Explore
Sign in
AVA
FloVer
Repository
FloVer
Dockerfile
Find file
Blame
History
Permalink
Remove not useful stuff from dockerfile and start updating ci script for HOL4
· 0cc50396
Heiko Becker
authored
Apr 23, 2018
0cc50396