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.

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

feat: XSB discovery cleanup #258

Merged
merged 8 commits into from
Nov 13, 2024
Merged

feat: XSB discovery cleanup #258

Changes from all commits
Commits
Show all changes
8 commits
Select commit Hold shift + click to select a range
c9de1c5
feat: cleaning up discovery feature
Roebot926 Oct 31, 2024
56a8150
Adjustments
Roebot926 Nov 5, 2024
c4c39d4
Adjustments.
Roebot926 Nov 5, 2024
e975fc8
adjustment
Roebot926 Nov 6, 2024
129f799
Adjustments / typo
Roebot926 Nov 7, 2024
4c0ce2b
adustments
Roebot926 Nov 8, 2024
b2b5fc3
adjustments for watch/watchnext
Roebot926 Nov 8, 2024
69237ee
Adjustments
Roebot926 Nov 8, 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
Loading
Loading