tree cee1b75bd08bd8308b2807f303de71f5c5ed1993
parent 17af8c763d5aa58c40fc2c40ff6e8d6fc28a8d63
author Gael Guennebaud <g.gael@free.fr> 1276981222 +0200
committer Gael Guennebaud <g.gael@free.fr> 1276981222 +0200

remove reference to the dead Array module