* Optimized result highlighter callback.
authorUrban Wallasch <urban.wallasch@freenet.de>
Mon, 14 Jun 2021 13:16:28 +0000 (15:16 +0200)
committerUrban Wallasch <urban.wallasch@freenet.de>
Mon, 14 Jun 2021 13:16:28 +0000 (15:16 +0200)
commit1a6701e2900c0c0640e729d7d26db08eb481f70d
tree8af6cdbebabfbb37de44e48f22cfabf01cbdc4d2
parenta495d09c2255073b087d3147c992ce77521bf8f5
* Optimized result highlighter callback.
jiten-pai.py