Skip to content
New issue

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

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

Already on GitHub? # to your account

Merged Documentation #69

Draft
wants to merge 6 commits into
base: main
Choose a base branch
from
Draft

Merged Documentation #69

wants to merge 6 commits into from

Conversation

costa2400
Copy link

Made a mistake by accidentally forking the repo.This PR aims to rectify by merging my branch into main.

Copy link
Collaborator

@chipshort chipshort left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Nice improvements!
Just some minor things to be corrected.
I don't know enough about the indexing to check it for correctness, so another look from @maurolacy or @hashedone would be good.

README.md Outdated Show resolved Hide resolved
README.md Show resolved Hide resolved
src/item.rs Outdated Show resolved Hide resolved
src/lib.rs Outdated Show resolved Hide resolved
src/path.rs Outdated Show resolved Hide resolved
src/map.rs Outdated Show resolved Hide resolved
src/prefix.rs Outdated Show resolved Hide resolved
@uint
Copy link
Contributor

uint commented Jul 8, 2024

Rebased and addressed comments

@uint uint requested a review from chipshort July 8, 2024 11:38
@uint uint marked this pull request as draft July 10, 2024 12:49
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants