On 12/4/2013 1:28 PM, Alan Bateman wrote:
Looks good (easy to miss the updates the ProblemList, that is the one advantage that @ignore has over the exclude list).

This is exactly what I was thinking that @ignore has the advantage.

Mandy

Reply via email to