mathlib3
chore(test/refine_struct): remove dead code
#2348
Merged

chore(test/refine_struct): remove dead code #2348

mergify merged 3 commits into master from remove_dead_code
gebner
gebner chore(test/refine_struct): remove dead code
f77a5335
robertylewis robertylewis added ready-to-merge
robertylewis
robertylewis approved these changes on 2020-04-07
mergify[bot] Merge branch 'master' into remove_dead_code
7abc5030
mergify[bot] Merge branch 'master' into remove_dead_code
02c43ca0
mergify mergify merged e2fa8b2b into master 5 years ago
mergify mergify deleted the remove_dead_code branch 5 years ago

Login to write a write a comment.

Login via GitHub

Reviewers
Assignees
No one assigned
Labels
Milestone