]> git.eshelyaron.com Git - dict.git/commit
ENHANCED: annotate predicates with the summaries from the manual
authorEshel Yaron <me@eshelyaron.com>
Sat, 27 Aug 2022 18:19:50 +0000 (21:19 +0300)
committerEshel Yaron <me@eshelyaron.com>
Sat, 27 Aug 2022 18:19:50 +0000 (21:19 +0300)
commit7c15ebc4f16d8d513f50aded1460c7f7894082cf
treedd8a4246b82b283804731f7e5be2fb5390d6d772
parentd9546b9414dd7fae79859856f75a7121dcf80c78
ENHANCED: annotate predicates with the summaries from the manual
sweep.pl