]> git.eshelyaron.com Git - sweep.git/commit
ENHANCED: Add tooltip info for string-stye DCG terminals
authorEshel Yaron <me@eshelyaron.com>
Tue, 6 Jun 2023 05:32:37 +0000 (08:32 +0300)
committerEshel Yaron <me@eshelyaron.com>
Tue, 6 Jun 2023 05:32:37 +0000 (08:32 +0300)
commitef2bca22bbf006a0c3a8dcfec0b4b220cfe69471
tree9b0b97731626de0a7eb674ecec41210bd0778ea9
parent1542c821e37e5fd3af33e1dc27d575c320bc279e
ENHANCED: Add tooltip info for string-stye DCG terminals
sweeprolog.el