Patrik Nordwall a8f9ad4775 Merge branch 'master' into 21648-Prefer_reachable_nodes_in_consistency-jgordijn		2017-01-13 10:21:09 +01:00
..
_sphinx	Search box rendering issue in Firefox and IE (Fixes #21779) (#21784)	2016-11-02 11:36:14 +01:00
rst	Merge branch 'master' into 21648-Prefer_reachable_nodes_in_consistency-jgordijn	2017-01-13 10:21:09 +01:00
src	extended copyright into 2017	2017-01-04 17:37:15 +01:00
.history
build.sbt	#18765 Update to latest MiMa which is now an AutoPlugin.	2016-03-10 10:45:35 +02:00