-
Committer:
Padraig
-
Date:
2009-02-28 19:22:42 UTC
-
mto:
(917.1.1 mordred)
-
mto:
This revision was merged to the branch mainline in
revision
918.
-
Revision ID:
posulliv@linux-lap-20090228192242-e1fsigaiv7jsuzne
Don't need to worry about appending a NULL element to std::vector. It was a
legacy thing used with DYNAMIC_ARRAY used to mark the end of an array.