• file
• latest
• revisions
• annotate
• diff
• comparison
• raw

comparison: src/gui.cc

src/gui.cc

changeset 573

74d71c6fdc20

parent 566

549c63863544

child 575

59c0b57e843b