| commit | 4019bd2763b90a48a12bcc5ca68370f7bc4eb3d3 | [log] [tgz] |
|---|---|---|
| author | Nils Diewald <nils@diewald-online.de> | Thu Jan 08 19:57:50 2015 +0000 |
| committer | Nils Diewald <nils@diewald-online.de> | Thu Jan 08 19:57:50 2015 +0000 |
| tree | d4e2a35dabd8600ae39554085b1bb2c7cf18cf63 | |
| parent | 8f6b610f585475c609bc80351a3ed393d2a0f809 [diff] |
Finalize treatment of initial criterion