[Rock-dev] [rock] #72: boost::program_options claims duplicate options in deployments because of long names (breaks oroconf)

[rock]

#72: boost::program_options claims duplicate options in deployments because of
long names (breaks oroconf)
---------------------+-----------------------------------
  Reporter:  jama01  |      Owner:  rock-dev-mailing-list
      Type:  defect  |     Status:  closed
  Priority:  major   |  Component:  base
Resolution:  fixed   |   Keywords:
---------------------+-----------------------------------
Changes (by sylvain.joyeux):

 * status:  new => closed
 * resolution:   => fixed


-- 
Ticket URL: <https://rock.opendfki.de/ticket/72#comment:10>
rock <https://rock.opendfki.de>
rock: the robot construction kit