- 13 Aug, 2019 1 commit
-
-
opohl authored
Change apache/vhosts.conf to use python 3.7 site packages instead of python 3.5 to make the container work
-
- 07 Jul, 2019 2 commits
-
-
olaf michaelis authored
Modify make file slight, because my editor trims white spaces at the end of lines, change default restart policy to always
-
olaf michaelis authored
Fixed permission error. No sudo for Docker group. Thanks for your improvements.
-
- 05 Jul, 2019 3 commits
- 26 Jun, 2019 1 commit
-
-
olaf michaelis authored
-
- 03 Jun, 2019 2 commits
-
-
olaf michaelis authored
-
olaf michaelis authored
Fix PDF and TeX generation
-
- 01 Jun, 2019 1 commit
-
-
Helmuth Breitenfellner authored
-
- 28 May, 2019 2 commits
-
-
olaf michaelis authored
-
olaf michaelis authored
-
- 24 May, 2019 2 commits
-
-
olaf michaelis authored
-
olaf michaelis authored
-
- 20 May, 2019 6 commits
-
-
olaf michaelis authored
-
olaf michaelis authored
-
olaf michaelis authored
-
olaf michaelis authored
-
olaf michaelis authored
-
olaf michaelis authored
-
- 17 May, 2019 9 commits
-
-
olaf michaelis authored
-
olaf michaelis authored
-
olaf michaelis authored
-
olaf michaelis authored
-
olaf michaelis authored
-
olaf michaelis authored
-
olaf michaelis authored
-
olaf michaelis authored
-
olaf michaelis authored
-