Whitespace fix
[bertos.git] / gentags.sh
2007-01-15 bernieHelper to generate tags for source browsers.