summaryrefslogtreecommitdiff
path: root/.gitmodules
diff options
context:
space:
mode:
authorROUVREAU Vincent <vincent.rouvreau@inria.fr>2020-05-27 22:59:14 +0200
committerROUVREAU Vincent <vincent.rouvreau@inria.fr>2020-05-27 22:59:14 +0200
commit9732a6ad61513a6f9af0571d64441a8d816a4081 (patch)
tree613e7d4b6c54ea83b5f2b8d6d8ad3d5fcc47856c /.gitmodules
parent10fc14b23d82ea8d18b55c624d5515ea38677056 (diff)
try to workaround no PyKeOps on Windows
Diffstat (limited to '.gitmodules')
0 files changed, 0 insertions, 0 deletions