/docker

Files for our new Docker infrastructure

Primary LanguageDockerfileMIT LicenseMIT

fsi Docker files

Files for the Docker setup of the fsi at the University of Tübingen.

License

The content of this repository is licensed under the MIT license (see LICENSE.txt).