Re: [DynareDev] [Trac] #104: Add option pruning

#104: Add option pruning ---------------------------+------------------------------------------------ Reporter: stepan | Owner: sebastien Type: bug | Status: closed Priority: major | Milestone: 4.2 Component: Core M-files | Version: Resolution: fixed | Keywords: ---------------------------+------------------------------------------------ Changes (by sebastien): * status: new => closed * resolution: => fixed Comment: Fixed in commit ccaa8e644362421d58580115814aa52229469768 -- Ticket URL: <https://www.dynare.org/trac/ticket/104#comment:1> Dynare <http://www.dynare.org> The Dynare project