Grzegorz Kossakowski dcb327e6f4 Do not compute name hashes when name hashing is disabled ... We should compute name hashes only when name hashing is enabled. Otherwise, we just store an empty value for name hashes.		2014-01-08 17:37:43 -05:00
..
src	Do not compute name hashes when name hashing is disabled	2014-01-08 17:37:43 -05:00
NOTICE	- Stuart's improvements to triggered execution	2010-07-05 12:53:37 -04:00
notes	- Stuart's improvements to triggered execution	2010-07-05 12:53:37 -04:00