diff options
author | Marcello Stanisci <marcello.stanisci@inria.fr> | 2017-07-17 14:42:52 +0200 |
---|---|---|
committer | Marcello Stanisci <marcello.stanisci@inria.fr> | 2017-07-17 14:42:52 +0200 |
commit | db9391236bee0a2cd4f807192eea046393967aff (patch) | |
tree | c284692e6d62bef6f123be9b645d1cb71f0cfe52 /sign-gnu-artefact | |
parent | d10e29ded3fc81082ebd48bb55a4f620d7611624 (diff) | |
download | deployment-db9391236bee0a2cd4f807192eea046393967aff.tar.gz deployment-db9391236bee0a2cd4f807192eea046393967aff.tar.bz2 deployment-db9391236bee0a2cd4f807192eea046393967aff.zip |
make only keys and wireformats shared; each color keeps its
own config file copy
Diffstat (limited to 'sign-gnu-artefact')
0 files changed, 0 insertions, 0 deletions