]> ocean-lang.org Git - ocean/blob - .gitignore
oceani: move the 'info:' report for assignments.
[ocean] / .gitignore
1 *.o