mirror of
https://github.com/corda/corda.git
synced 2025-02-21 09:51:57 +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.