Merge remote-tracking branch 'remotes/origin/HighLevelDump'

author dbv <dbv@opencascade.com>

Wed, 24 Aug 2016 12:33:18 +0000 (15:33 +0300)

committer dbv <dbv@opencascade.com>

Wed, 24 Aug 2016 12:33:18 +0000 (15:33 +0300)
author dbv <dbv@opencascade.com>
Wed, 24 Aug 2016 12:33:18 +0000 (15:33 +0300)
committer dbv <dbv@opencascade.com>
Wed, 24 Aug 2016 12:33:18 +0000 (15:33 +0300)
diff --cc src/SketchPlugin/SketchPlugin_Sketch.cpp
Simple merge
author	dbv <dbv@opencascade.com>
	Wed, 24 Aug 2016 12:33:18 +0000 (15:33 +0300)
committer	dbv <dbv@opencascade.com>
	Wed, 24 Aug 2016 12:33:18 +0000 (15:33 +0300)