.Xdefaults
changeset 720 c60d05657d5b
parent 580 34b0b3232025
child 761 be538afc2530
equal deleted inserted replaced
718:0507a0b1a45a 720:c60d05657d5b