]> ocean-lang.org Git - ocean/tree
oceani: change the 'ok' flag to 'perr' with well defined bits.
-rw-r--r-- 4 .gitignore
drwxr-xr-x - csrc
drwxr-xr-x - tools