DynareTeam/dynare — pull request #397 by JohannesPfeifer (2013-05-14 09:33:14+00:00)
Title: Make manual on drop-option more explicit

Closes #396