summaryrefslogtreecommitdiff
path: root/tools/dev/profile_docutils.py
Commit message (Expand)AuthorAgeFilesLines
* Merged trunk r5043:5619 to adjacent-citations branch.strank2008-07-281-2/+2
* use $Id$ instead of $Date$ and $Revision$;wiemann2006-05-211-4/+2
* fixed name *sigh*wiemann2005-06-151-0/+41