-
Murray Cumming authored
To replace lengthy use of std::find(container.begin(), container.end(), element) != container.end()). It looks like something like this will be in the standard C++ library at some point, but I don't want to wait.
792cc2ea
To replace lengthy use of std::find(container.begin(), container.end(), element) != container.end()). It looks like something like this will be in the standard C++ library at some point, but I don't want to wait.