]> git.eshelyaron.com Git - dict.git/commit
FIXED: properly update query highlighting in the toplevel
authorEshel Yaron <me@eshelyaron.com>
Wed, 9 Nov 2022 20:24:27 +0000 (22:24 +0200)
committerEshel Yaron <me@eshelyaron.com>
Wed, 9 Nov 2022 20:24:27 +0000 (22:24 +0200)
commitc7b7300bda5d9b5776e6e8ffb6621fc9a48bea7f
treeb5a2815cfcac5d6ecdc3712def956eef50be7d10
parentc1882b93d1cfe8def6f201740e71cb876070cf0e
FIXED: properly update query highlighting in the toplevel
sweeprolog.el