Skip to content

Some small fixes related to the documentation and the building process (Fix #842)#873

Merged
wkerzendorf merged 4 commits intotardis-sn:masterfrom unoebauer:quickfixesOct 12, 2018
+10-4

Commits

Commits on Oct 10, 2018

Commits on Oct 12, 2018