This commit was manufactured by cvs2svn to create branch 'AubitStable'.
Authored by: --none-- 2005-07-24
Parent: [r5112]
Child: [r5114]