| commit | 0b99adec8c7d1fc494f3b4c79a378f03f40b259b | [log] [tgz] |
|---|---|---|
| author | peusterm <manuel.peuster@uni-paderborn.de> | Wed Jul 20 13:47:13 2016 +0200 |
| committer | peusterm <manuel.peuster@uni-paderborn.de> | Wed Jul 20 13:47:13 2016 +0200 |
| tree | 154fa6273971efc13c50303fe4f1a57dc4f47e91 | |
| parent | 905b11fc555c0aa4e41b7516a40fecb35853cc0b [diff] | |
| parent | 6b5224d7f2f9c52802b37d5454ac02a8fe2c6634 [diff] |
Merge pull request #146 from mpeuster/master Improved chain management in dummy gatekeeper.