src/gtkstatusbox.c

changeset 12733
0c1de18b51ed
parent 12731
571ff3556eb4
child 12778
e98948ef3259
equal deleted inserted replaced
12732:971281663a50 12733:0c1de18b51ed

mercurial