diff options
author | Marcello Stanisci <marcello.stanisci@inria.fr> | 2017-07-12 14:59:00 +0200 |
---|---|---|
committer | Marcello Stanisci <marcello.stanisci@inria.fr> | 2017-07-12 14:59:00 +0200 |
commit | 27c9d6b656bf6d2430e78fa98b6645cd41b752a9 (patch) | |
tree | 7988187791b1a833b0aee2ff9497a9f98394570e /buildbot/restart.sh | |
parent | ae0f19a4d272e8660e0e51921e29aeb7c4cb96f5 (diff) | |
download | deployment-27c9d6b656bf6d2430e78fa98b6645cd41b752a9.tar.gz deployment-27c9d6b656bf6d2430e78fa98b6645cd41b752a9.tar.bz2 deployment-27c9d6b656bf6d2430e78fa98b6645cd41b752a9.zip |
remove dead code
Diffstat (limited to 'buildbot/restart.sh')
0 files changed, 0 insertions, 0 deletions