Keep doc/ directory around for Doxygen.
[bertos.git] / doc /
2004-08-05 bernieKeep doc/ directory around for Doxygen.