4 Commits (4ea1a61b008c932bc83fcd6cd07bb7f4c251204a)

Author	SHA1	Message	Date
rinpatch	0e9243e8a2	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