5 Commits

Author	SHA1	Message	Date
p-dmitrij	c4839e11b4	A link to the development guidelines is added (#2396) ... * A link to the development guidelines is added Can be useful for a quick start if you are a new contributor * Link is extended with the directory "development/"	2019-02-15 00:29:41 -08:00
Gregor Wolf	ad1122d95f	Add branch and link to GitHub flow	2019-02-14 21:10:49 -08:00
Frederik Hudák	a4f8b4eed8	Minor documentation corrections (#1645)	2018-07-17 07:29:45 +02:00
larshp	a17b32a7b0	fix #784	2017-06-11 11:23:31 +00:00
larshp	ec462c4be0	docs: move last files	2017-05-19 10:36:18 +00:00