mirror of
https://github.com/corda/corda.git
synced 2025-02-22 10:10:59 +00:00
04d86e9cfe
It was meant to be deleted (since it's meant to be git ignored), instead it was changed. Reverting the file back to its original content, and leaving as is.