Use array_push() instead of []
[core.git] / docs / COPYING
2008-11-20 Roland HäderDocuments added