emergency commit
[cl-cudd.git] / distr / cudd / doc / icons / yellowball.png
blobede8fc97f6c6151c80d886cb7ec5709a00057cf2
distr/cudd/doc/icons/yellowball.png