mathlib3
chore(test): rename the test directory so that `leanpkg` will find it
#646
Merged
Overview
Commits
1
Changes
View On GitHub

chore(test): rename the test directory so that `leanpkg` will find it #646

johoelzl merged 1 commit into leanprover-community:master from leanprover-fork:rename-tests
cipher1024
cipher1024 chore(test): rename the test directory so that `leanpkg` will find it
a8e7f326
johoelzl johoelzl merged 4fb6c7dc into master 7 years ago
johoelzl johoelzl deleted the rename-tests branch 7 years ago

Login to write a write a comment.

Login via GitHub

Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Milestone
No milestone
Terms Of Use Privacy Policy Refund Policy Impressum