Rename grav_index
to curve_index
#261
Job | Run time |
---|---|
1m 8s | |
2m 32s | |
7m 11s | |
10m 51s |
grav_index
to curve_index
#261
Job | Run time |
---|---|
1m 8s | |
2m 32s | |
7m 11s | |
10m 51s |