haskel-x11.patch
changeset 58 ff7aacf67749
parent 37 8435b9bef8e6
equal deleted inserted replaced
57:1f0577db0a64 58:ff7aacf67749