diff options
author | FUJITA Tomonori <fujita.tomonori@lab.ntt.co.jp> | 2014-12-24 21:07:57 +0900 |
---|---|---|
committer | FUJITA Tomonori <fujita.tomonori@lab.ntt.co.jp> | 2014-12-24 21:07:57 +0900 |
commit | 42454bd8d72ed77fd2b98ab431b14dba20f4c5ee (patch) | |
tree | 95d5e7680a4a68cb82ce471100f51c71363d6906 | |
parent | 2b38ca65ba529bbc0da17318e3b7d8fba9e7c29a (diff) |
tools: config/route-server-docker.sh -> route-server/route-server-docker.sh
more appropriate
Signed-off-by: FUJITA Tomonori <fujita.tomonori@lab.ntt.co.jp>
-rwxr-xr-x | tools/route-server/route-server-docker.sh (renamed from tools/config/route-server-docker.sh) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/tools/config/route-server-docker.sh b/tools/route-server/route-server-docker.sh index b7b17f5d..b7b17f5d 100755 --- a/tools/config/route-server-docker.sh +++ b/tools/route-server/route-server-docker.sh |