Git merge checking

[Alex Merry]

On 16/01/14 23:53, Luigi Toscano wrote:
> I can retrieve the full history using grafts. Only two details:
> - flat.css, kde.css and print.css are part of the doxygen stuff, they should
> be in the other repository;

Good catch.

> - mainfooter.html and mainheader.html have been removed from both
> repositories, but they are (were) part of doxygen stuff. Is it correct?

They were unused, so no point keeping them.

Alex