.Xdefaults
changeset 727 42d012e9ede1
parent 580 34b0b3232025
child 761 be538afc2530