| .. |
|
example
|
CONFIG: export ThirdParty Qt5_DIR (issue #827)
|
2018-05-14 17:04:18 +01:00 |
|
ADIOS
|
ENH: improved handling of gmp/mpfr library settings (issue #674)
|
2018-01-11 01:30:23 +01:00 |
|
ADIOS2
|
ENH: improved handling of gmp/mpfr library settings (issue #674)
|
2018-01-11 01:30:23 +01:00 |
|
aliases
|
ENH: improved handling of gmp/mpfr library settings (issue #674)
|
2018-01-11 01:30:23 +01:00 |
|
bash_completion
|
STYLE: additional comment when completion not found (issue #719)
|
2018-04-30 07:50:48 +02:00 |
|
ccmio
|
ENH: improved handling of gmp/mpfr library settings (issue #674)
|
2018-01-11 01:30:23 +01:00 |
|
CGAL
|
CONFIG: adjust make scripts for darwin
|
2018-04-24 21:20:06 +02:00 |
|
compiler
|
CONFIG: add Gcc81
|
2018-05-07 17:21:30 +02:00 |
|
completion_cache
|
Merge remote-tracking branch 'origin/master' into develop
|
2018-01-08 15:05:31 +01:00 |
|
ensight
|
ENH: improved handling of gmp/mpfr library settings (issue #674)
|
2018-01-11 01:30:23 +01:00 |
|
FFTW
|
CONFIG: adjust make scripts for darwin
|
2018-04-24 21:20:06 +02:00 |
|
functions
|
ENH: improve handling of ThirdParty packages
|
2018-04-24 14:51:19 +02:00 |
|
gperftools
|
ENH: improved handling of gmp/mpfr library settings (issue #674)
|
2018-01-11 01:30:23 +01:00 |
|
kahip
|
ENH: improved handling of gmp/mpfr library settings (issue #674)
|
2018-01-11 01:30:23 +01:00 |
|
metis
|
ENH: improved handling of gmp/mpfr library settings (issue #674)
|
2018-01-11 01:30:23 +01:00 |
|
mgridgen
|
ENH: improved handling of gmp/mpfr library settings (issue #674)
|
2018-01-11 01:30:23 +01:00 |
|
mpi
|
ENH: improve handling of ThirdParty packages
|
2018-04-24 14:51:19 +02:00 |
|
paraview
|
CONFIG: export ThirdParty Qt5_DIR (issue #827)
|
2018-05-14 17:04:18 +01:00 |
|
scotch
|
ENH: improved handling of gmp/mpfr library settings (issue #674)
|
2018-01-11 01:30:23 +01:00 |
|
settings
|
CONFIG: adjust make scripts for darwin
|
2018-04-24 21:20:06 +02:00 |
|
unset
|
CONFIG: export ThirdParty Qt5_DIR (issue #827)
|
2018-05-14 17:04:18 +01:00 |
|
vtk
|
CONFIG: update VTK version to use the latest version
|
2018-04-19 10:08:09 +02:00 |
