DynareTeam/dynare — pull request #410 by rattoma (2013-05-23 15:59:54+00:00)
Title: new option for user specific files

Although we did not fully design the option interface, this would allow users to fix their problems for use specific files.
This relates to issue #389