summaryrefslogtreecommitdiff
path: root/.gitmodules
diff options
context:
space:
mode:
authorROUVREAU Vincent <vincent.rouvreau@inria.fr>2021-01-05 18:13:44 +0100
committerROUVREAU Vincent <vincent.rouvreau@inria.fr>2021-01-05 18:13:44 +0100
commit5f6bf9af6b9036f41a3430527e73a3e1cd733e2b (patch)
treebc16815814fdff00e1f19226c33e0ec02cb15b0d /.gitmodules
parent3a26b7b867c36ece01b58ddcb0f5031cfdd223e4 (diff)
Remove sphinx tests as it fails
Diffstat (limited to '.gitmodules')
0 files changed, 0 insertions, 0 deletions