| commit | 26455858b9ed9f84c2fc87a2df83ac13bbed1d09 | [log] [tgz] |
|---|---|---|
| author | peusterm <manuel.peuster@uni-paderborn.de> | Tue Mar 08 14:23:53 2016 +0100 |
| committer | peusterm <manuel.peuster@uni-paderborn.de> | Tue Mar 08 14:23:53 2016 +0100 |
| tree | 729cb3ebd2476fd36ebfcc1feb59c726de7df7f6 | |
| parent | e26487ba6b33c22a1e3f5f843364df9f0efc07eb [diff] |
More documentation of the dummy gatekeeper API