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