emergency commit
[cl-cudd.git] / distr / cudd / doc / icons / greenball.png
bloba4d714533a8c5e836f167a2118108d4f68bcf2f6
distr/cudd/doc/icons/greenball.png