src/gtkstatusbox.c

changeset 12881
d4db623e3d8c
parent 12879
34ced28dd1d6
child 12905
e650ee76e1b8
equal deleted inserted replaced
12880:eb39a798ff9a 12881:d4db623e3d8c

mercurial