2 Commits

Include renames

Author	SHA1	Message	Date
Christoph Hertzberg	5614400581	digits10() needs to return an integer ... Problem reported on https://stackoverflow.com/questions/56395899	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