mirror of
https://github.com/eclipse-cdt/cdt
synced 2025-08-16 04:35:45 +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> |
||
---|---|---|
.. | ||
data_model_1.dia | ||
data_model_1.png | ||
data_model_2.dia | ||
dsf_programming_intro.html | ||
introduction.dia | ||
introduction.png | ||
proxy_problem.dia | ||
proxy_problem.png | ||
query_1.dia | ||
query_1.png | ||
request_monitor_1.dia | ||
request_monitor_1.png | ||
synchronization_1.dia | ||
synchronization_1.png | ||
synchronization_2.dia | ||
synchronization_2.png | ||
timers_1.png | ||
timers_dm.dia | ||
timers_dm.png | ||
timers_vm.dia | ||
timers_vm.png | ||
timers_vm_1.dia | ||
timers_vm_2.dia | ||
vm_cache.dia | ||
vm_cache.png | ||
vm_design.dia | ||
vm_design.png | ||
vm_proxy.dia | ||
vm_proxy.png | ||
vm_sychronized_events.dia | ||
vm_sychronized_events.png |