]> ocean-lang.org Git - ocean/blob - .gitignore
Makefile: if bootstrap was required, suggest "make" be run again
[ocean] / .gitignore
1 *.o