/stringplugin

Primary LanguageC++

This is dlvhex-stringplugin, a plugin for `dlvhex'.