mathlib3
feat(conv/conv): conv tactics for zooming/saving state
#1351
Merged

feat(conv/conv): conv tactics for zooming/saving state #1351

mergify merged 4 commits into master from inner-conv
khoek
khoek feat(conv/conv): conv tactics for zooming/saving state
074a5605
khoek khoek requested a review 6 years ago
robertylewis
robertylewis commented on 2019-08-21
khoek rob's doc fixes
73702ee8
robertylewis
robertylewis approved these changes on 2019-08-21
robertylewis robertylewis added ready-to-merge
khoek nicer docs
d9dc828f
mergify[bot] Merge branch 'master' into inner-conv
0c49709d
mergify mergify merged 35144f27 into master 6 years ago
mergify mergify deleted the inner-conv branch 6 years ago

Login to write a write a comment.

Login via GitHub

Reviewers
Assignees
No one assigned
Labels
Milestone