Skip to content
This repository was archived by the owner on Jun 10, 2022. It is now read-only.

Fix linting warning and mark pen and tool hidden#582

Merged
tombuMS merged 1 commit intoredfrom
tombu/doc-linting-fixes
May 13, 2020
Merged

Fix linting warning and mark pen and tool hidden#582
tombuMS merged 1 commit intoredfrom
tombu/doc-linting-fixes

Conversation

@tombuMS
Copy link
Contributor

@tombuMS tombuMS commented May 7, 2020

No description provided.

Copy link
Contributor

@eanders-ms eanders-ms left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

:shipit:

@tombuMS tombuMS merged commit e0e500e into red May 13, 2020
@tombuMS tombuMS deleted the tombu/doc-linting-fixes branch May 13, 2020 15:35
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants