]> git.eshelyaron.com Git - dict.git/commit
* (sweeprolog-rename-variable): report results if interactive
authorEshel Yaron <me@eshelyaron.com>
Mon, 30 Jan 2023 06:43:09 +0000 (08:43 +0200)
committerEshel Yaron <me@eshelyaron.com>
Mon, 30 Jan 2023 06:43:09 +0000 (08:43 +0200)
commit9f283d440c9e5752297dd0ff928d2ae17e9342ad
treed3e9827b10ee21a759df92cf2b5767d2eb08a2ac
parentf3d8bff17e011cf8eb4dfd2c9247af54f823bbe7
* (sweeprolog-rename-variable): report results if interactive
sweeprolog.el