King_DuckZ a5d9d6b716 Remove helpers from this repo. ... They have been pulled out into a separate git repository. Adding that as a submodule in an upcoming commit.		2016-07-14 15:27:11 +01:00
..
backends	SetRecordData is not really needed anymore so get rid of it	2016-06-04 01:13:26 +02:00
dindexer-common	Move split_tags to core.	2016-07-10 17:12:19 +01:00
dindexer-core	Move split_tags to core.	2016-07-10 17:12:19 +01:00
dindexer-machinery	Bugfix - files where not being stored reliably.	2016-07-12 13:40:12 +01:00
kakoune	Adapt safe_ptr to build in this project	2016-02-18 19:16:50 +01:00
pq	Move sequence_bt and string_bt into helpers.	2016-06-15 14:53:07 +01:00