diff options
| author | FUJITA Tomonori <fujita.tomonori@lab.ntt.co.jp> | 2015-08-11 13:41:48 +0900 |
|---|---|---|
| committer | FUJITA Tomonori <fujita.tomonori@lab.ntt.co.jp> | 2015-08-11 13:41:48 +0900 |
| commit | 6080405147043e30c62d2752506c7c57f12a2641 (patch) | |
| tree | 96bd6e03ca706bc3df52ae8417b4668c075f8da3 /docs | |
| parent | 8884ce3122c382ad475a860ad7c7ce7ae57c8d5b (diff) | |
doc: rename fileter.md to policy.md
Signed-off-by: FUJITA Tomonori <fujita.tomonori@lab.ntt.co.jp>
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/sources/policy.md (renamed from docs/sources/filter.md) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/docs/sources/filter.md b/docs/sources/policy.md index 3f64f500..3f64f500 100644 --- a/docs/sources/filter.md +++ b/docs/sources/policy.md |