[Rock-dev] [rock] #488: Wrong header file names in base type documentation

[rock]

#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