mirror of
https://github.com/corda/corda.git
synced 2025-02-06 02:59:15 +00:00
dd1247242a
Specify paths to build tools correctly or else bugfixes will not applied. (cherry picked from commit 4cc4e3f01bd95c9454b3487d6e1f29b53aace077)