mirror of
https://github.com/corda/corda.git
synced 2025-01-30 16:14:39 +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.