Gael Guennebaud d132159ba3 Fic bug #819: include path of details.h
(grafted from 0f1e321dd4a1dec90f25aa248f77dca5e353f394
)
2014-06-04 11:58:01 +02:00
..