diff options
author | gspr <gspr@nonempty.org> | 2021-12-31 12:07:50 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-12-31 12:07:50 +0100 |
commit | 7ad97e3118e0a6cbd4b00616c96c19684fb4d401 (patch) | |
tree | 9b30e365cd34a0e2287c0068ec326ee48aa0fa1a /test/test_gromov.py | |
parent | 40a3b09848d92292ccd5bd298c6cfcd3228465cb (diff) |
Don't install benchmarks (#333)
Diffstat (limited to 'test/test_gromov.py')
0 files changed, 0 insertions, 0 deletions