diff options
| author |   Marco Platania <platania@research.att.com> | 2017-04-17 15:36:30 -0400 |
|---|---|---|
| committer | Marco Platania <platania@research.att.com> | 2017-04-17 15:36:30 -0400 |
| commit | a5000dd31f8f58cccb33e71cffe63baf7d1b4e6a (patch) | |
| tree | 312578d8d4c7f1d79fb77a55d96fe37084daa09d /.gitreview | |
| parent | dbda9918bfbf17e999dc745be82f8ef61c8bbf3a (diff) | |
Change server name in deploy.sh
Change-Id: I956a4b0170790e17365cb6eaa753d2495a5fa40b
Signed-off-by: Marco Platania <platania@research.att.com>
Diffstat (limited to '.gitreview')
0 files changed, 0 insertions, 0 deletions