Skip to content

Conversation

nmoutschen
Copy link
Contributor

Issue #, if available:

Description of changes: Use badges for rule index.

By submitting this pull request, I confirm that you can use, modify, copy, and redistribute this contribution, under the terms of your choice.

@nmoutschen nmoutschen added the documentation Improvements or additions to documentation label Jun 10, 2021
@nmoutschen nmoutschen merged commit 4793452 into main Jun 10, 2021
@nmoutschen nmoutschen deleted the docs/badges branch June 10, 2021 08:25
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.

1 participant