]> ocean-lang.org Git - ocean/blob - .gitignore
ocean: propagate_types: only set Efail on local err.
[ocean] / .gitignore
1 *.o