diff options
| author | Takeshi KOMIYA <i.tkomiya@gmail.com> | 2017-05-19 01:58:14 +0900 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-05-19 01:58:14 +0900 |
| commit | f06a7e4bef996787d13cd561e5e5a504e7e13dde (patch) | |
| tree | b624e6a9fbb4adeca97b8a3e8ad5dd18e28c6607 /doc/conf.py | |
| parent | dabd356f8eb4d88ce363ed8078b29a160d065c5e (diff) | |
| parent | cf70e4e9109f9568b5d29e0ed0306f493ff7d6db (diff) | |
| download | sphinx-git-f06a7e4bef996787d13cd561e5e5a504e7e13dde.tar.gz | |
Merge pull request #3734 from tk0miya/use_circleci
Add Circle CI as our CI platform
Diffstat (limited to 'doc/conf.py')
0 files changed, 0 insertions, 0 deletions