diff options
| author | YAMAMOTO Takashi <yamamoto@valinux.co.jp> | 2014-02-07 12:42:45 +0900 |
|---|---|---|
| committer | FUJITA Tomonori <fujita.tomonori@lab.ntt.co.jp> | 2014-02-07 19:53:32 +0900 |
| commit | e3d08bd5872f5c3fcdf7ef853cb1be7ff352fade (patch) | |
| tree | 461b51374e4abd713e46a7106bd10498915473a1 /doc/source/conf.py | |
| parent | 3423b2a20d6df5521c7ab6d7e9d201ff9a505e6d (diff) | |
run_tests.sh: add of-config-cli to PYLINT_INCLUDE
Signed-off-by: YAMAMOTO Takashi <yamamoto@valinux.co.jp>
Signed-off-by: FUJITA Tomonori <fujita.tomonori@lab.ntt.co.jp>
Diffstat (limited to 'doc/source/conf.py')
0 files changed, 0 insertions, 0 deletions