Save the current BERTOS_PATH in editing mode (instead of override it with the local...
[bertos.git] / doc / Mainpage.snapshot
2009-09-29 lottavianodoc: Various fixes to documentation infrastructure