K 10
svn:author
V 5
luigi
K 8
svn:date
V 27
2013-04-19T21:08:21.364615Z
K 7
svn:log
V 98
mostly whitespace changes:
- remove vestiges of the old memory allocator
- clean up some comments

END