src/gtkstatusbox.c

changeset 12600
7ecd4441fdc7
parent 12598
fd20149e7a7e
child 12606
aedec2dcfcac

mercurial