[Rock-dev] [rock] #488: Wrong header file names in base type documentation
rock
noreply at opendfki.de
Thu Jun 26 15:23:53 CEST 2014
#488: Wrong header file names in base type documentation
------------------------------+------------------
Reporter: siavash.tavakoli | Owner:
Type: defect | Status: new
Priority: major | Milestone:
Component: base | Resolution:
Keywords: |
------------------------------+------------------
Comment (by sylvain.joyeux):
While the documentation definitely needs to be updated, there are backward
compatibility headers that should allow you to use the old names (and then
you get a warning ... :P). Didn't that work ?
Anyways, thanks for reporting.
--
Ticket URL: <http://rock.opendfki.de/ticket/488#comment:1>
rock <http://rock.opendfki.de>
rock: the robot construction kit
More information about the Rock-dev
mailing list