]> git.eshelyaron.com Git - dict.git/commit
FIXED: correctly recognize "public" head terms
authorEshel Yaron <me@eshelyaron.com>
Fri, 28 Oct 2022 16:05:32 +0000 (19:05 +0300)
committerEshel Yaron <me@eshelyaron.com>
Sat, 5 Nov 2022 17:50:26 +0000 (19:50 +0200)
commit3ecd2475d211ee0a939c16d022e77763a454e261
treea41311449882a90447d39324af236c86c6ca96af
parent73d9b8c87103a379282760bd3a591f820010c45c
FIXED: correctly recognize "public" head terms
sweeprolog.el