.Xdefaults
changeset 987 e0ffdc132f41
parent 881 3dce63382154
equal deleted inserted replaced
986:080abbbb7ba7 987:e0ffdc132f41