]> Sergey Matveev's repositories - public-inbox.git/commit
projects / public-inbox.git / commit
summary | shortlog | log | commit | commitdiff | tree
(parent: 1e61666) | patch
doc lei: drop an unnecessary to-do comment
authorKyle Meyer <kyle@kyleam.com>
Mon, 29 Mar 2021 03:11:12 +0000 (23:11 -0400)
committerEric Wong <e@80x24.org>
Mon, 29 Mar 2021 03:15:42 +0000 (03:15 +0000)
commit21897c94b4c6d0518c61268f4f6b45887986642d
treea46e55bcc59086d2772d3c3a60950696ba302c57tree
parent1e6166694b1c84e46ca96937ffdd252c45aac3c1commit | diff
doc lei: drop an unnecessary to-do comment

When a new command is implemented, it is probably clear that it should
be added to lei.pod, but either way, having a to-do comment in lei.pod
isn't likely to help.
Documentation/lei.pod diff | blob | history
My patches to https://public-inbox.org/public-inbox.git