mirror of
https://github.com/corda/corda.git
synced 2025-01-01 02:36:44 +00:00
revert accidental makefile change
This commit is contained in:
parent
dec2095c63
commit
75f5921b3e