]> Sergey Matveev's repositories - public-inbox.git/commit
projects / public-inbox.git / commit
summary | shortlog | log | commit | commitdiff | tree
(parent: ef06085) | patch
lei: remove "forget" (old name for "rm")
authorEric Wong <e@80x24.org>
Tue, 1 Jun 2021 19:20:16 +0000 (19:20 +0000)
committerEric Wong <e@80x24.org>
Wed, 2 Jun 2021 03:12:16 +0000 (03:12 +0000)
commit8a583e41f8b91c3e7277743d35fd792b35d5a96b
tree7e9079fb824bade9ee09e4394d35cc116f9168b0tree
parentef06085156e3abf440233e1c90bcaab38a533bc4commit | diff
lei: remove "forget" (old name for "rm")

"rm" is probably the better name for it, since it matches
"public-inbox-learn rm"
lib/PublicInbox/LEI.pm diff | blob | history
My patches to https://public-inbox.org/public-inbox.git