3 commits

Author	SHA1	Message	Date
Federico Ceratto	59c212607e	[backport] Add links to packaging and distro pages (#12603) [ci skip]	2019-11-06 09:03:28 +01:00
Miran	44923a1b1f	fix #10287 (#10448) ... The only thing separating these two files (which wrongly appear on index.html as modules) and the rest of the (correctly placed) documents was the style of the title :D	2019-01-25 08:34:02 +01:00
Federico Ceratto	c3229dc1c3	Add packaging guide #5182 (#10384)	2019-01-23 11:12:46 +01:00