Package drat-trim-tools

Command line interface to drat-trim

https://github.com/marijnheule/drat-trim

This package contains a command line interface to drat-trim.

General Commands
Command Description
drat-trim manual page for drat-trim 20190702