]> ocean-lang.org Git - ocean/blob - .gitignore
mark-tested: don't fail if coverage is too low
[ocean] / .gitignore
1 *.o