]> SALOME platform Git repositories - modules/gui.git/commit
Salome HOME
Fix problem with devdocs generation
authorvsr <vsr@opencascade.com>
Thu, 27 Nov 2008 12:09:28 +0000 (12:09 +0000)
committervsr <vsr@opencascade.com>
Thu, 27 Nov 2008 12:09:28 +0000 (12:09 +0000)
commit88194c17f6ab493be1b3282e78b405c6a99c59b5
treea490861ca5a68e41367c3908cd7edad2e6f53dd6
parent5c27d7df1eabbe47c88430b2f7c0c3dbb681005f
Fix problem with devdocs generation
doc/salome/tui/Makefile.am