Konrad Malawski 404b529c6d -doc remove unnecessary Loading div ... Was used by google search, which we now dont use anymore		2016-03-08 10:22:08 +01:00
..
_sphinx	-doc remove unnecessary Loading div	2016-03-08 10:22:08 +01:00
rst	Merge pull request #19907 from naferx/issue19904	2016-03-03 10:39:48 +01:00
src	Update copyrights and links to the new company name #19851	2016-02-23 12:58:39 +01:00
.history
build.sbt	=pro verify BC against all binary compatible versions	2015-10-23 09:10:25 +03:00
versions.json	+doc #18295 show warning if browsing outdated docs	2015-11-05 13:21:24 +01:00