]> git.eshelyaron.com Git - dict.git/commit
* (sweeprolog-hole-face): new face for highlighting holes
authorEshel Yaron <me@eshelyaron.com>
Tue, 22 Nov 2022 14:24:12 +0000 (16:24 +0200)
committerEshel Yaron <me@eshelyaron.com>
Tue, 22 Nov 2022 14:24:12 +0000 (16:24 +0200)
commit8c31bd2bde3b2b233f23052ef95403f22cf86c14
treed8220728c4704066cd6ab6510b47dba59de07bde
parentfbde60f59cc7bc27cb3088c028619692a279765b
* (sweeprolog-hole-face): new face for highlighting holes
sweeprolog.el