An error occurred while fetching folder content.
Select Git revision
tools
Stéphane Del Pino
authored
- the environment variable PUGS_INSTALL_DIR is no more used - also fix HDF5 detection on ubuntu for plugins
Name | Last commit | Last update |
---|---|---|
.. |