Skip to content
This repository was archived by the owner on Oct 3, 2021. It is now read-only.

Commit 63aba0a

Browse files
dbeyerdbeyer
authored
Merge pull request #1214 from sosy-lab/add-spdx-licenses-eca2012
Add SPDX license header to eca-rers2012
2 parents 94dcb28 + c935ef2 commit 63aba0a

Sorry, this diff is taking too long to generate.

It may be too large to display on GitHub.