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

Docs: Improve filter tables #290

Merged
merged 4 commits into from
Jan 11, 2023
Merged

Docs: Improve filter tables #290

merged 4 commits into from
Jan 11, 2023

Conversation

joker234
Copy link
Member

@joker234 joker234 commented Jan 4, 2023

Description

Add missing filters to documentation and improve formatting.

Corresponding issue

None

New or changed dependencies

None

Checklist

  • [ ] My code follows the code-style rules, and I have checked on the static analyses
  • I have commented my code
  • [ ] I have written javadoc (required for public methods)
  • [ ] I have added sufficient unit and API tests
  • I have made corresponding changes to the documentation
  • [ ] I have updated the CHANGELOG.md
  • [ ] I have adjusted the examples in the check-ohsome-api script or created an issue in the corresponding repository. More Information here.

@joker234 joker234 added documentation Improvements or additions to documentation waiting for review This pull request needs a code review labels Jan 4, 2023
@joker234 joker234 added this to the 1.9 milestone Jan 4, 2023
@joker234 joker234 requested a review from tyrasd January 4, 2023 14:45
@tyrasd tyrasd removed the waiting for review This pull request needs a code review label Jan 11, 2023
@joker234 joker234 merged commit f7ced0b into master Jan 11, 2023
@joker234 joker234 deleted the improve-filter-tables branch January 11, 2023 16:10
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
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants