tree a297cc4b2cbfcfd4ad0a672069ee4c44b460f8d2
parent 0decc31aa8238f88a6f2116907fb3e0a97ebaf23
author Gael Guennebaud <g.gael@free.fr> 1472461177 +0200
committer Gael Guennebaud <g.gael@free.fr> 1472461177 +0200

bug #1167: simplify installation of header files using cmake's install(DIRECTORY ...) command.