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.

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

More work on migrating to GitHub #152

Merged

Conversation

jonahgraham
Copy link
Member

Part of #32

The new link is where the old link redirected to
The primary location for these user guides is now the Git repo in HTML
format.

Part of eclipse-cdt#32
@jonahgraham jonahgraham force-pushed the more_migration_to_github_work branch from 3e133b4 to 5a7cc10 Compare November 9, 2022 15:33
I have not updated links in old N&N pages from before CDT 10.
I have not updated non-CDT links.

Part of eclipse-cdt#32
@jonahgraham jonahgraham force-pushed the more_migration_to_github_work branch from 5a7cc10 to 0f48ebf Compare November 9, 2022 15:54
@jonahgraham jonahgraham force-pushed the more_migration_to_github_work branch from 0f48ebf to 09eeccd Compare November 9, 2022 15:56
@jonahgraham jonahgraham merged commit 939da0a into eclipse-cdt:main Nov 9, 2022
@jonahgraham jonahgraham deleted the more_migration_to_github_work branch November 9, 2022 15:57
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant