package-info.java

/**
 * GZipping servlet filter.
 */
package de.rwth.idsg.bikeman.web.filter.gzip;