Revision cea0ec903af090c07ba616d7e1fcd0fec80cab77

Committed on 16/09/2011 2:07 am by Christian Pfeffer Gjengedal <cpg@ez.no> [GitHub Diff]

The documented procedures