JDC 0acf479b70 Partition long strings in chunks for sonic		2020-12-06 01:14:38 +02:00
..
__init__.py	Implement backend architecture for search engines	2020-12-06 01:12:46 +02:00
ripgrep.py	Add ignored extensions in ripgrep search	2020-12-06 01:13:39 +02:00
sonic.py	Partition long strings in chunks for sonic	2020-12-06 01:14:38 +02:00