-
Notifications
You must be signed in to change notification settings - Fork 4
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
docs: glossary for important terms #292
docs: glossary for important terms #292
Conversation
further added to and reformatted the glossary.md
🦙 MegaLinter status: ✅ SUCCESS
See detailed report in MegaLinter reports |
Codecov Report
@@ Coverage Diff @@
## main #292 +/- ##
=========================================
Coverage 100.00% 100.00%
=========================================
Files 47 47
Lines 2355 2355
=========================================
Hits 2355 2355 |
Looks great! Some other ideas:
|
…-in-safe-ds' into 188-glossary-for-important-terms-in-safe-ds
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Looks great and it's a very nice starting point for future additions. I'd like some more cross-references in the documentation (see comments), then this can be merged.
🎉 This PR is included in version 0.14.0 🎉 The release is available on:
Your semantic-release bot 📦🚀 |
Closes #188.
Summary of Changes
Configured Snippets extension in mkdocs.yml
Created includes/glossary.md
Filled Glossary with various terms