]> git.eshelyaron.com Git - sweep.git/commit
ENHANCED: Also highlight "undefined" head terms
authorEshel Yaron <me@eshelyaron.com>
Sun, 11 Jun 2023 18:03:53 +0000 (21:03 +0300)
committerEshel Yaron <me@eshelyaron.com>
Sun, 11 Jun 2023 18:03:53 +0000 (21:03 +0300)
commit8d219525e66778ce0d4b2fd6a41d29091812c587
tree180075c06822e27dd0cbf08e59de74e9db7a19c8
parent486c04fd90d8e48ef40c551ffd1d23ccf42178ac
ENHANCED: Also highlight "undefined" head terms
sweeprolog.el