Rémi Verschelde 32afcbc482 Put brave old bb10 platform to a well-deserved rest ... Add some 🔥 to appease @reduz. Fixes #8692.		2017-05-08 22:22:20 +02:00
..
base	Put brave old bb10 platform to a well-deserved rest	2017-05-08 22:22:20 +02:00
tools	Doc: Drop unmainted converters for html, textile, dokuwiki	2017-05-06 23:43:02 +02:00
Doxyfile
Makefile	Doc: Drop unmainted converters for html, textile, dokuwiki	2017-05-06 23:43:02 +02:00