# this is not jquery, it's a doxygen thing: https://bugs.debian.org/736360
embedded-javascript-library
