emergency commit
[cl-cudd.git] / distr / cudd / doc / icons / purpleball.png
blobd6d63fb822774678fbdd5da91b990f7b2be62997
distr/cudd/doc/icons/purpleball.png