## logfilter ##
# by lucas@lucas-nussbaum.net
# licensed under GPL v2 or later

This small shell script generates a gziped logfile, stripping all unrelevant information to reduce its size.

You should always use this script before sending me logfiles, except if I specifically ask for the full logfile.

Thanks :)
