emergency commit
[cl-cudd.git] / distr / cudd / doc / icons / blueball.png
blob9720c29504ba579244bfbd203fd05240cc94a536
distr/cudd/doc/icons/blueball.png