Grzegorz Kossakowski 698e24da11 Mark fields storing keys in IncOptions as private. ... It was an omission in the original commit that introduced them and didn't mark them as private. They are purely an implementation detail and should be hidden. We hiding them now.		2013-11-12 21:39:18 +01:00
..
src	Mark fields storing keys in IncOptions as private.	2013-11-12 21:39:18 +01: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