Maximilian Hils 83f8522981 docs: remove option directive ... inserting " .. option::" tags create ugly markup, so we just ditch this entirely and continue using refs.		2016-06-06 19:10:19 -07:00
..
linux.rst	docs: remove option directive	2016-06-06 19:10:19 -07:00
osx.rst	docs: remove option directive	2016-06-06 19:10:19 -07:00