tree d4e2a35dabd8600ae39554085b1bb2c7cf18cf63
parent 8f6b610f585475c609bc80351a3ed393d2a0f809
author Nils Diewald <nils@diewald-online.de> 1420747070 +0000
committer Nils Diewald <nils@diewald-online.de> 1420747070 +0000

Finalize treatment of initial criterion