Skip to content

Add ri an alias to the show_doc command#1054

Merged
tompng merged 1 commit into
masterfrom
add-ri-alias-to-show_doc
Dec 28, 2024
Merged

Add ri an alias to the show_doc command#1054
tompng merged 1 commit into
masterfrom
add-ri-alias-to-show_doc

Conversation

@st0012

@st0012 st0012 commented Dec 28, 2024

Copy link
Copy Markdown
Member

No description provided.

@st0012 st0012 added the enhancement New feature or request label Dec 28, 2024
@st0012 st0012 self-assigned this Dec 28, 2024
@tompng tompng merged commit 52e77dd into master Dec 28, 2024
@tompng tompng deleted the add-ri-alias-to-show_doc branch December 28, 2024 15:55
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

enhancement New feature or request

2 participants