doxygen-develop

[Ruben G. <ru...@ug...>]

In the make process, a few lines like this are printed:
    ../qtools/qdict.h:85: warning: deleting `void*' is undefined

I think "free" should be used there, or a delete of the casting of the 
pointer to the appropiate type.
Can somebody have a look where the original pointer came from?