FazBrowse GitHub Viewer
|
Trending
|
URL:
|
Home
Tools:
[Download Repo ZIP]
[Original HTTPS Page]
Fix double click select of titles in documentation by ad-si · Pull Request #4579 · purescript/purescript · GitHub
Uh oh!
There was an error while loading.
Please reload this page
.
purescript
/
purescript
Public
Notifications
You must be signed in to change notification settings
Fork
575
Star
8.9k
Code
Issues
280
Pull requests
27
Actions
Projects
Wiki
Security and quality
0
Insights
Additional navigation options
Code
Issues
Pull requests
Actions
Projects
Wiki
Security and quality
Insights
Fix double click select of titles in documentation
- #4579
#4579
Merged
f-f
merged 1 commit into
purescript:master
purescript/purescript:master
from
ad-si:fix-double-click-select
ad-si/purescript:fix-double-click-select
Copy head branch name to clipboard
Jun 8, 2025
Conversation
Commits
1
(1)
Checks
Files changed
Merged
Fix double click select of titles in documentation
#4579
f-f
merged 1 commit into
purescript:master
purescript/purescript:master
from
ad-si:fix-double-click-select
ad-si/purescript:fix-double-click-select
Copy head branch name to clipboard
Fix double click select of titles in documentation
c259506
Select commit
Loading
Failed to load commit list.
Uh oh!
There was an error while loading.
Please reload this page
.
Workflow runs completed with no jobs
Back
|
FazBrowse Home
|
New Git URL