Commit Graph

2 Commits (905f81dd77ae774be95dc73f405559a012fd6c43)

Author SHA1 Message Date
Oliver Günther 74d692231e
Update the development environment setup guide 7 years ago
Oliver Günther a5d3bbf1ea Update the development environment setup guide 7 years ago
Niels Lindenthal 100c330a02 Rename doc to docs and restructure operations folder 8 years ago
Oliver Günther 8023a8f558
Merge documentation folders 8 years ago
RobinWagner 6bbef4147f Add bug report guideline 8 years ago
Oliver Günther 5c9bb331ba
Separate actual documentation guides in github from sources 8 years ago