diff options
| author | FUJITA Tomonori <fujita.tomonori@lab.ntt.co.jp> | 2016-08-03 05:52:31 +0900 |
|---|---|---|
| committer | FUJITA Tomonori <fujita.tomonori@lab.ntt.co.jp> | 2016-08-03 05:52:31 +0900 |
| commit | 0082b4889e35883d9f0aeb07c3d6827b3f129e1b (patch) | |
| tree | 6ecf9abb12783056973fead3b7362e85466ced5b /tools/config | |
| parent | 6f3d90f80cb40723f0f391041e88d24d1b2b0de1 (diff) | |
move policyMutex to policy/
It's more logical.
Signed-off-by: FUJITA Tomonori <fujita.tomonori@lab.ntt.co.jp>
Diffstat (limited to 'tools/config')
0 files changed, 0 insertions, 0 deletions