src/gtkwhiteboard.c

changeset 12733
0c1de18b51ed
parent 12039
eaa207b93455
child 13411
3ccc9f3e3e29
equal deleted inserted replaced
12732:971281663a50 12733:0c1de18b51ed

mercurial