Irmen de Jong f9fd426843 Merge branch 'pointer-index-optimize' ... # Conflicts: # docs/source/todo.rst		2021-01-23 15:57:23 +01:00
..
source	Merge branch 'pointer-index-optimize'	2021-01-23 15:57:23 +01:00
docs.iml
make.bat
Makefile