diff options
| author | Marcello Stanisci <marcello.stanisci@inria.fr> | 2017-10-18 14:11:12 +0200 |
|---|---|---|
| committer | Marcello Stanisci <marcello.stanisci@inria.fr> | 2017-10-18 14:11:12 +0200 |
| commit | 290337abb8d6624896681be073a957f1a962b6b7 (patch) | |
| tree | 44aef72f02c8f0e806fdff93bc30cf9e580a5574 /doc | |
| parent | d37685124d020eb2490581166756fe3b458dd3da (diff) | |
| download | deployment-290337abb8d6624896681be073a957f1a962b6b7.tar.gz deployment-290337abb8d6624896681be073a957f1a962b6b7.tar.bz2 deployment-290337abb8d6624896681be073a957f1a962b6b7.zip | |
give descriptive names to build steps
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions