]> git.eshelyaron.com Git - sweep.git/commit
Improve sweeprolog-menu entry names
authorEshel Yaron <me@eshelyaron.com>
Wed, 21 Dec 2022 18:21:24 +0000 (20:21 +0200)
committerEshel Yaron <me@eshelyaron.com>
Wed, 21 Dec 2022 18:21:24 +0000 (20:21 +0200)
commit787c190438964cb8adff752c0f2e1bf19ca343de
tree067573efacccf525ce901a8f59ed86031e21c13a
parent38c0cc4fe6d56c7a35a14637fc819ecb8d4fbb35
Improve sweeprolog-menu entry names

* sweeprolog.el (sweeprolog-info-manual): new function.
(sweeprolog-menu): add it, improve entry names.
sweeprolog.el