Commit Graph

15 Commits (fd2b2a3f2ac4d01e8fe3f51f6dfaf4b63f1b3adc)

Author SHA1 Message Date
ML-OpenP 6b0f25f655 typos 4 years ago
ML-OpenP 8de78ac215
changing, adding, fixing internal links in docs (#8806) 4 years ago
Oliver Günther 6b8f1314b4
Add intro link in development 4 years ago
Oliver Günther 83122f1606
Extend git workflow documentation 4 years ago
Markus Kahl 31546d91cc docker-based dev environment 5 years ago
Markus Kahl 5c07f7bd95 docker-based dev environment 5 years ago
Markus Kahl 284f02488c updated ubuntu/ruby/npm versions in dev docs 5 years ago
Niels Lindenthal 8882f8f813
Update link to GPG key 5 years ago
Niels Lindenthal 68291aefb3
Add GPG KEY ID (#8093) 5 years ago
Oliver Günther 2b87f784ff
Update README for testing 5 years ago
birthe 1c9fd11f81
Small wording change 5 years ago
birthe 1ed3ade44a Add paragraph for contributor license agreement to development guide 5 years ago
Oliver Günther e1c642f46e
Move help into docs 5 years ago
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