emergency commit
[cl-cudd.git] / distr / cudd / doc / icons / ch_beg_r.png
blob807941a2d5cac41c08bcb4d143967a9c869d4ebe
distr/cudd/doc/icons/ch_beg_r.png