cl-typeck: Fix list in doc comment getting mistaken for a doctest

This commit is contained in:
John 2024-04-24 16:50:30 -05:00
parent 42307d2ab4
commit 8453b092f1