5 Commits

Author	SHA1	Message	Date
Tony Garnock-Jones	b511e640bd	Minor tweak	2018-10-20 19:52:37 +01:00
Tony Garnock-Jones	cbf5224599	Remove superfluous update-path helper	2018-10-20 19:13:07 +01:00
Tony Garnock-Jones	6e06c4d502	Fix bug exposed by previous commit	2018-10-20 19:09:25 +01:00
Tony Garnock-Jones	8ff6dc5ff8	Eliminate one set of dummy wrappers	2018-10-20 18:27:15 +01:00
Tony Garnock-Jones	0c701809e1	Describe how the efficient index structure works	2018-10-14 21:25:13 +01:00