simon 9157871cc1 Added a note on locality indexing.		2017-07-24 19:46:52 +01:00
..
specification	Added a note on locality indexing.	2017-07-24 19:46:52 +01:00