SALOME platform Git repositories - tools/service.git/commit

]> SALOME platform Git repositories - tools/service.git/commit

author	Maintenance team (INV) <mnt@squeezex2.nnov.opencascade.com>
	Tue, 12 Jul 2016 14:21:11 +0000 (17:21 +0300)
committer	Maintenance team (INV) <mnt@squeezex2.nnov.opencascade.com>
	Tue, 12 Jul 2016 14:21:11 +0000 (17:21 +0300)
commit	d0967cc772e5d82daf75ed1633784e46c83f2a48
tree	58f958e87272a5d6f020d09a64082bd8ca441fc6	tree \| snapshot
parent	7e975556884a150308faa7a3fc2d645b77a01e93	commit \| diff

Verify SALOME build for [series8x occt stable] on 12/07/2016

Maintenance utilities for SALOME project (internal)