src/gtkwhiteboard.c

changeset 12463
8d8c5436803a
parent 12039
eaa207b93455
child 13411
3ccc9f3e3e29
equal deleted inserted replaced
12462:7a851dfa352e 12463:8d8c5436803a

mercurial