tree a9f2943d8c0c545c9b1b58d5a83f82514a0faa81
parent e8e1084267161d831c9b132bfffbccb9b4f25d9a
author Benoit Jacob <jacob.benoit.1@gmail.com> 1231864046 +0000
committer Benoit Jacob <jacob.benoit.1@gmail.com> 1231864046 +0000

add EIGEN_FUNCTORS_PLUGIN