Commits · efe3b5d01124d0149e2a031ac3f2df719f1dbc18 · xerus / xerus

12 Aug, 2019 1 commit
- update Dockerfiles and Makefiles · efe3b5d0
  Philipp Trunschke authored Aug 12, 2019
  
  efe3b5d0
08 Apr, 2019 1 commit
- simplify/generalize Docker files · 8149edd4
  Philipp Trunschke authored Apr 08, 2019
  
  8149edd4
04 Apr, 2019 1 commit
- update .sh scripts for docker management · dc3bfa64
  Philipp Trunschke authored Apr 04, 2019
  
  dc3bfa64
10 Jul, 2018 1 commit
- add Dockerfiles · aff3546b
  Philipp Trunschke authored Jul 10, 2018
  
  aff3546b