Skip to content

Tags: PeterJCLaw/srcomp-puppet

Tags

sr2016-final

Toggle sr2016-final's commit message
Add this year's host as allowed to shell in

Change-Id: Icba5b2b1a6708790f14f56d4542bcfaa6d19be52

sr2015-final

Toggle sr2015-final's commit message

Unverified

This commit is not signed, but one or more authors requires that any commit attributed to them is signed.
Add Rob's public key