Skip to content

Fix (many) more fuzzy entries in the library directory #2736

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.

Sign up for GitHub

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

Merged
merged 10 commits into from
Nov 18, 2024
Merged

Fix (many) more fuzzy entries in the library directory #2736

Changes from 1 commit
Commits
Show all changes
10 commits
Select commit Hold shift + click to select a range
dd53c67
Fix more fuzzy entries in the library directory
mmmarcos Nov 6, 2023
ca0d868
Merge branch '3.12' into fix-more-fuzzy-entries
rtobar Nov 6, 2023
e30395a
fix missing backtick
mmmarcos Nov 19, 2023
c81a245
Fix spell issues
mmmarcos Nov 19, 2023
37ef931
Fix fuzzy entries
mmmarcos Nov 26, 2023
a63cfef
Apply suggestions from code review
mmmarcos Nov 26, 2023
90a31a2
Fix powrap
mmmarcos Nov 26, 2023
fa944fa
Merge branch '3.12' into fix-more-fuzzy-entries
cmaureir Aug 27, 2024
358279b
Merge branch '3.12' into fix-more-fuzzy-entries
cmaureir Nov 18, 2024
bcebc7d
Merge branch '3.12' into fix-more-fuzzy-entries
cmaureir Nov 18, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
Merge branch '3.12' into fix-more-fuzzy-entries
  • Loading branch information
@cmaureir
cmaureir authored Aug 27, 2024
commit fa944faf51c2cf6f466973aa5df89cdebf334cab

This merge commit was added into this branch cleanly.

There are no new changes to show, but you can still view the diff.