Tony Garnock-Jones
|
e9d510d658
|
Tweaks
|
2018-10-21 01:04:05 +01:00 |
|
Tony Garnock-Jones
|
d08a7536f1
|
Minor corrections and tweaks
|
2018-10-21 00:59:38 +01:00 |
|
Tony Garnock-Jones
|
f3152fe1c1
|
Update to explain the "dummy" outermost wrapper constructor
|
2018-10-20 21:54:58 +01:00 |
|
Tony Garnock-Jones
|
d490b26dc2
|
Minor tweak
|
2018-10-20 19:52:37 +01:00 |
|
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 |