src/gui.cc

changeset 564
79b23e02dcf1
parent 563
10939452bf86
child 566
549c63863544
equal deleted inserted replaced
563:10939452bf86 564:79b23e02dcf1

mercurial