diff options
author | Marcello Stanisci <marcello.stanisci@inria.fr> | 2016-03-09 13:27:27 +0100 |
---|---|---|
committer | Marcello Stanisci <marcello.stanisci@inria.fr> | 2016-03-09 13:27:27 +0100 |
commit | 22133c6f1ec0df35f88ea963148832fe19d67810 (patch) | |
tree | a8147e7f4f2935925412e32d6e1a19b74501edd3 /.gitignore | |
parent | b44c9721d6232ce457ac6cd5e4755b6fa3ddd081 (diff) | |
download | docs-22133c6f1ec0df35f88ea963148832fe19d67810.tar.gz docs-22133c6f1ec0df35f88ea963148832fe19d67810.tar.bz2 docs-22133c6f1ec0df35f88ea963148832fe19d67810.zip |
no runtime dependencies for Sphinx
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions