ui/gtk/range.c

changeset 776
867ff911492d
parent 744
0528926422da
child 801
e096c441e874
equal deleted inserted replaced
775:c39e71be2e18 776:867ff911492d

mercurial