tree 33f2a6aa14f09883b16a36593e1ca7a1093b05c1
parent 983ec750ccc878992ffd764cc85c013732770857
author Dennis van Dok <dennisvd@nikhef.nl> 1496147161 +0200
committer Dennis van Dok <dennisvd@nikhef.nl> 1496147161 +0200

more checks for the presence of keys