GeoGen-API / Dockerfile

Commit History

removed unnecessary installations
6b8cfb5
verified

SaniaE commited on

Rename dockerfile to Dockerfile
39ae4ea
verified

SaniaE commited on