summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorROUVREAU Vincent <vincent.rouvreau@inria.fr>2020-05-05 07:48:16 +0200
committerROUVREAU Vincent <vincent.rouvreau@inria.fr>2020-05-05 07:48:16 +0200
commit8da9158e9a2ffb128eb1b5b05d4e8574ff70d771 (patch)
tree3bf0cbdcbe4c10beb95b2c42575c7b44a45e0ea9 /.gitignore
parent03b8322e9ded09cc879867008d32baa3a91a45e5 (diff)
Remove sphinx test and matrix
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions