ui/gtk/display.c

changeset 779
b84cbe57e0bd
parent 682
326e7a5122fa
child 801
e096c441e874
equal deleted inserted replaced
778:85b6cef7fcba 779:b84cbe57e0bd

mercurial