// The following text is included in the main documentation page by doxygen
/*! \mainpage tools
* This directory is for tools which depend on multiple libraries in contrib/mul,
* but don't fit neatly into any particular library/tools subdirectory
*/
