emergency commit
[cl-cudd.git] / distr / cudd / doc / icons / next_g.png
blob9d3f59121e257b71260c9c0f31cd29c535f2d868
distr/cudd/doc/icons/next_g.png