Jenkins 75a0b91fe2 Merge "doc: small snippet about operating system elements"		2015-05-20 19:09:46 +00:00
..
source	Merge "doc: small snippet about operating system elements"	2015-05-20 19:09:46 +00:00