mirror of
https://github.com/eclipse-cdt/cdt
synced 2025-08-28 02:33:18 +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> |
||
---|---|---|
.. | ||
.externalToolBuilders | ||
guide | ||
META-INF | ||
reference | ||
.contentsettings | ||
.cvsignore | ||
.gitignore | ||
.project | ||
about.html | ||
book.css | ||
build.properties | ||
buildDoc.xml | ||
cdtOptions | ||
cdtOptions.txt | ||
customBuildCallbacks.xml | ||
notices.html | ||
plugin.properties | ||
plugin.xml | ||
pom.xml | ||
schema.css | ||
toc.xml | ||
topics_Guide.xml | ||
topics_Reference.xml |