Skip to content

Remove public docs for Eclipse#1012

Merged
MaedahBatool merged 3 commits intomainfrom
remove-eclipse
Mar 6, 2025
Merged

Remove public docs for Eclipse#1012
MaedahBatool merged 3 commits intomainfrom
remove-eclipse

Conversation

@MaedahBatool
Copy link
Copy Markdown
Contributor

@MaedahBatool MaedahBatool self-assigned this Mar 6, 2025
@vercel
Copy link
Copy Markdown

vercel bot commented Mar 6, 2025

The latest updates on your projects. Learn more about Vercel for Git ↗︎

Name Status Preview Comments Updated (UTC)
sourcegraph-docs ✅ Ready (Inspect) Visit Preview 💬 Add feedback Mar 6, 2025 0:09am

@MaedahBatool MaedahBatool added documentation Improvements or additions to documentation enhancement New feature or request labels Mar 6, 2025
@MaedahBatool MaedahBatool merged commit 0b12fd6 into main Mar 6, 2025
5 checks passed
@MaedahBatool MaedahBatool deleted the remove-eclipse branch March 6, 2025 00:09
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

documentation Improvements or additions to documentation enhancement New feature or request

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant