]> git.neil.brown.name Git - ocean/search
oceani: replace some magic numbers with an enum.