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> |
||
---|---|---|
.. | ||
sd_bop_options.png | ||
sd_console_view.png | ||
sd_preferences.png | ||
sd_prop_add_include.png | ||
sd_prop_add_lse_kinds_dropdown.png | ||
sd_prop_add_lse_paths_dropdown.png | ||
sd_prop_entries.png | ||
sd_prop_providers.png | ||
sd_specs_detector_options.png |