haskel-x11.patch
changeset 78 282c2d005384
parent 37 8435b9bef8e6
equal deleted inserted replaced
76:de0ae82f0458 78:282c2d005384