mirror of
https://develop.openfoam.com/Development/openfoam.git
synced 2025-11-28 03:28:01 +00:00
Fix proposed by Bruno Santos. Resolves bug-report http://www.openfoam.org/mantisbt/view.php?id=1770
Misc. tools, scripts, templates that are useful (eg, for building applications) but don't need to be in the PATH.