[Marble-commits] KDE/kdeedu/marble/tools

[Jens-Michael Hoffmann]

SVN commit 1070895 by jmhoffmann:

Add script which tries to check if headers are installed unnecessarily.

 AM            check-installed-headers  


** trunk/KDE/kdeedu/marble/tools/check-installed-headers #property svn:executable
   + *