* Micro-optimizations in dict_lookup().
authorUrban Wallasch <urban.wallasch@freenet.de>
Fri, 18 Jun 2021 11:37:17 +0000 (13:37 +0200)
committerUrban Wallasch <urban.wallasch@freenet.de>
Fri, 18 Jun 2021 11:37:17 +0000 (13:37 +0200)
commit06f7b1fb806802e8bf5633af3ad29511cfb5f66c
tree3ebcac78f24107f20956c2e556c6310a9c8163d9
parent04c91142d8a6f4d3a0a5cbffc9353cdd3685c752
* Micro-optimizations in dict_lookup().
* Report malformed dictionary lines (just in case, not that we expect to hit any).
jiten-pai.py