emergency commit
[cl-cudd.git] / distr / cudd / doc / icons / prev_g.png
blob476d9568c900e2ada6c2019b67eeee166a5f1288
distr/cudd/doc/icons/prev_g.png