Skip to content

v0.1.2#56

Merged
skirpichev merged 6 commits intodiofant:masterfrom
skirpichev:misc
Dec 8, 2024
Merged

v0.1.2#56
skirpichev merged 6 commits intodiofant:masterfrom
skirpichev:misc

Conversation

@skirpichev
Copy link
Copy Markdown
Member

@skirpichev skirpichev commented Dec 8, 2024

closes #19
closes #35

@skirpichev skirpichev marked this pull request as draft December 8, 2024 02:59
@skirpichev skirpichev added this to the v0.1.2 milestone Dec 8, 2024
@rruuaanng
Copy link
Copy Markdown
Contributor

Oh yes! Let's celebrate!

@rruuaanng
Copy link
Copy Markdown
Contributor

It looks good!
(at least better than my document, I will close my PR..)

@skirpichev skirpichev marked this pull request as ready for review December 8, 2024 03:49
Comment thread docs/conf.py Outdated
@skirpichev skirpichev merged commit 621fe24 into diofant:master Dec 8, 2024
@skirpichev skirpichev deleted the misc branch December 8, 2024 04:03
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Add basic API docs (sphinx) Add mpz docstring

2 participants