sync
commitb5e72e29e3326d522a560a9a2d884c07b7902d7a
authorygrek <ygrek@autistici.org>
Sat, 22 Jan 2011 15:24:10 +0000 (22 17:24 +0200)
committerygrek <ygrek@autistici.org>
Sat, 22 Jan 2011 15:35:15 +0000 (22 17:35 +0200)
tree8ef8da606b3419927acb3392dd20298ae3bcb0ad
parentbc249a42a7353c8a52bcebc79849735b576e6af9
sync
src/gtk/gui/gui_queries_base.ml