Salome HOME
key --with/whithout-ihm has been replaced by --with/whithout-gui
authormaintenance team <salome-mnt@opencascade.com>
Mon, 19 May 2008 12:26:12 +0000 (12:26 +0000)
committermaintenance team <salome-mnt@opencascade.com>
Mon, 19 May 2008 12:26:12 +0000 (12:26 +0000)
commit1e3bfa2970967c8914bf67c13ed9a2b24276bded
tree6ce619e0bbe376dc0c96af330d9a4d6fb0140028
parent7c2ac5565e02e2b579c971b7b4da85cd839535f6
key --with/whithout-ihm has been replaced by --with/whithout-gui
build_configure