mathlib3
feat(data/finmap): extend the API
#1223
Merged

feat(data/finmap): extend the API #1223

mergify merged 1 commit into master from finmap
cipher1024
cipher1024 feat(data/finmap): extend the API
9665c3af
cipher1024 cipher1024 requested a review 6 years ago
digama0
digama0 approved these changes on 2019-07-13
digama0 digama0 added ready-to-merge
mergify mergify merged 6db58292 into master 6 years ago
mergify mergify deleted the finmap branch 6 years ago

Login to write a write a comment.

Login via GitHub

Reviewers
Assignees
No one assigned
Labels
Milestone