package-info.java

/**
 * Metrics specific code.
 */
package de.rwth.idsg.brsm.config.metrics;