2 Commits

Author SHA1 Message Date
Christoph Hertzberg
6ed74ac97c digits10() needs to return an integer
Problem reported on https://stackoverflow.com/questions/56395899
(grafted from 56144005811e3e5a76031ba0aac8a4e1fa3e3396
)
2019-05-31 15:45:41 +02:00
Gael Guennebaud
9c9e23858e Doc: split customizing-eigen page into sub-pages and re-structure a bit the different topics 2016-08-30 11:10:08 +02:00