-
Notifications
You must be signed in to change notification settings - Fork 65
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
Adding pages extracted from the wiki pages #1850
Conversation
I think you have to add the new files to the structure of the github-page. I'd also suggest to think about which information is already available and which one is new. There seems to be at least some overlap with the existing documentation |
I already did remove obsolete pages, and added only two new pages or subpages as mentioned in the description, Maybe there is still some information that could be condensed or is slightly contained in other pages, but for now I would keep these two. |
After this merge we can remove the wiki pages or hold only a link to our github pages there.
I removed all wiki pages that were already contained in some form in the github pages.