mirror of
https://github.com/corda/corda.git
synced 2025-04-24 04:56:05 +00:00
* make sure `rm` doesn't fail if the file is not present * it makes it easier for forward merge to a branch with newer base image without that file