aboutsummaryrefslogtreecommitdiff
path: root/mathcomp/test_suite
diff options
context:
space:
mode:
authorKazuhiko Sakaguchi2020-11-18 13:33:36 +0900
committerKazuhiko Sakaguchi2020-11-19 05:53:45 +0900
commit9e6c20b4bd5397539debee9fcb0853b6924ecfb9 (patch)
tree512c6cc466df5609008bb339a1a2a67dd59df44d /mathcomp/test_suite
parent82db85f541dc9a47fd79b462a63b8b80a8468557 (diff)
Rename `subseq_order_path` to `subseq_path`
Diffstat (limited to 'mathcomp/test_suite')
0 files changed, 0 insertions, 0 deletions