]> SALOME platform Git repositories - modules/kernel.git/tree - DEPRECATED/
Salome HOME
Merged from BR_V51_RB (removed Batch and added libBatch as an optional prerequisite).
[modules/kernel.git] / DEPRECATED /
drwxr-xr-x   ..
-rw-r--r-- 4044 Makefile.in
-rw-r--r-- 11274 configure.in.base
-rwxr-xr-x 3214 make_config.in