[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              |   Keywords:
------------------------------+-----------------
 Header files stated in the documentation for base types (http://rock-
 robotics.org/stable/documentation/base_types.html) are all lower case
 which are wrong. Took me a couple of hours to realize this. Probably the
 documentation needs an update.

-- 
Ticket URL: <https://rock.opendfki.de/ticket/488>
rock <https://rock.opendfki.de>
rock: the robot construction kit