src/gtkstatusbox.c

changeset 12660
3e9413c9162e
parent 12659
de9c41f39996
child 12731
571ff3556eb4

mercurial