mirror of
https://develop.openfoam.com/Development/ThirdParty-common.git
synced 2025-12-08 06:57:50 +00:00
- allows the user to inspect what has been patched. - also use fuzzy patching (ignore whitespace) for a bit more robustness