.Xdefaults
changeset 710 c888b7da227f
parent 580 34b0b3232025
child 761 be538afc2530