Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add links to crates.io and docs.rs #27

Merged
merged 1 commit into from
Jan 10, 2024

Conversation

dadada
Copy link
Collaborator

@dadada dadada commented Aug 5, 2023

No description provided.

@dadada dadada linked an issue Aug 5, 2023 that may be closed by this pull request
@dadada dadada force-pushed the dev/add-pretty-buttons branch from 588384d to 4d01230 Compare August 5, 2023 11:04
@dadada dadada requested a review from sevenautumns September 30, 2023 17:33
@dadada dadada force-pushed the dev/add-pretty-buttons branch from 4d01230 to 33e3328 Compare December 18, 2023 10:05
@dadada dadada changed the title Add pretty badges Add links to crates.io and docs.rs Dec 18, 2023
@dadada dadada force-pushed the dev/add-pretty-buttons branch 2 times, most recently from ea221a8 to 18ebfbc Compare December 18, 2023 10:47
@dadada dadada force-pushed the dev/add-pretty-buttons branch from 18ebfbc to a8df1fc Compare December 18, 2023 11:24
@dadada
Copy link
Collaborator Author

dadada commented Jan 6, 2024

Ping @sevenautumns for merge. We reviewed this a few weeks ago.

@wucke13 wucke13 merged commit 919dcfc into DLR-FT:main Jan 10, 2024
6 checks passed
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 banner to crates.io and docs.rs to README.md
2 participants