4 Commits

Author	SHA1	Message	Date
Tony Garnock-Jones	b6063b4d95	Remove superfluous update-path helper	2018-10-20 19:13:07 +01:00
Tony Garnock-Jones	52cf4c3ae5	Fix bug exposed by previous commit	2018-10-20 19:09:25 +01:00
Tony Garnock-Jones	4f6ab9bd77	Eliminate one set of dummy wrappers	2018-10-20 18:27:15 +01:00
Tony Garnock-Jones	c2fdd8a37e	Describe how the efficient index structure works	2018-10-14 21:25:13 +01:00