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 /release.txt | |
| 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 'release.txt')
0 files changed, 0 insertions, 0 deletions