diff options
| author | FUJITA Tomonori <fujita.tomonori@lab.ntt.co.jp> | 2018-07-07 16:07:10 +0900 |
|---|---|---|
| committer | FUJITA Tomonori <fujita.tomonori@lab.ntt.co.jp> | 2018-07-07 20:44:41 +0900 |
| commit | 26aed14b48dc8afce6a3d2faa20f5a8ce95494b6 (patch) | |
| tree | 304cd47be0fb5753d85a659b78856a98fa079e03 /docs/sources/cli-operations.md | |
| parent | c4775c42510d1f1ddd55036dc19e982712fa6a0b (diff) | |
delete tools/route-server
It was used when the project has just started. But I don't think that
it's useful anymore.
Signed-off-by: FUJITA Tomonori <fujita.tomonori@lab.ntt.co.jp>
Diffstat (limited to 'docs/sources/cli-operations.md')
0 files changed, 0 insertions, 0 deletions