Gael Guennebaud 36a1cd87d9 Fiw some warnings in dox examples
(grafted from c25034710ede8eb7e177e8a7426817b6a29e5440
)
2018-06-07 16:09:22 +02:00
..
2016-07-12 16:47:39 +02:00
2016-07-12 16:47:39 +02:00
2016-09-23 10:26:08 +02:00
2018-06-07 15:56:20 +02:00