emergency commit
[cl-cudd.git] / distr / cudd / doc / icons / ch_delet.png
blobd5ae8e51b1202716f0da6250a768d77a24f25422
distr/cudd/doc/icons/ch_delet.png