emergency commit
[cl-cudd.git] / distr / cudd / doc / icons / orangeball.png
blob10249c668abb037b32a1d537d66e9e2999bbc30e
distr/cudd/doc/icons/orangeball.png