mirror of
https://github.com/eclipse-cdt/cdt
synced 2025-04-22 22:22:11 +02:00
![]() I used a simple script: for every file name of a given extension { grep for the file name usage if no result { delete it! } } I only deleted things under the documentation plugins, to be safe. This results in about 8MB of deleted images. Change-Id: I566b8b1ff396b67689d273fc6e827dd3a02ad991 Signed-off-by: Marc-Andre Laperle <marc-andre.laperle@ericsson.com> |
||
---|---|---|
.. | ||
org.eclipse.cdt.doc.isv | ||
org.eclipse.cdt.doc.user |