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

comparison: src/gtkprefs.h

src/gtkprefs.h

changeset 7634

d4b18edb51ec

parent 5530

ba1ad464b56f

child 7931

315fd3921a40