mirror of
https://github.com/eclipse-cdt/cdt
synced 2025-04-29 19:45:01 +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> |
||
---|---|---|
.. | ||
concepts | ||
html | ||
images | ||
META-INF | ||
reference | ||
tasks | ||
.gitignore | ||
.project | ||
about.html | ||
book.css | ||
build.properties | ||
customBuildCallbacks.xml | ||
notices.html | ||
plugin.properties | ||
plugin.xml | ||
pom.xml | ||
testToc.xml | ||
toc.xml |