|
| From: | Stefan Kangas |
| Subject: | bug#52968: Make alias shortdoc for shortdoc-display-group? |
| Date: | Sun, 2 Jan 2022 17:53:59 -0500 |
Severity: wishlist Any objections to adding a convenience alias `shortdoc' for `shortdoc-display-group'?
| [Prev in Thread] | Current Thread | [Next in Thread] |