4 Commits (5b5f855237192499a51652bc91fc02c17ab95c85)

Author	SHA1	Message	Date
rinpatch	3d3c166e59	Preparations for renaming `master` to `stable`	5 years ago
feld	88414151b4	Formatting	5 years ago
feld	75a37a68d4	Install docs should clone from master branch	5 years ago
rinpatch	dfae0050af	Move out of Gitlab Wiki ... I understand that this change is quite unreadable and hard to review, sorry for forgetting to do atomic commits. This patch does not change too much content wise, it just * Gets everything from gitlab wiki * Removes some specific gitlab hacks * Formats all documentation file names to be in snake case so they look the same way as our code does	6 years ago