Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
Tree: 7eeea769d5
Fetching contributors…

Cannot retrieve contributors at this time

6 lines (3 sloc) 0.138 kB
val _set_title: (string -> unit) ref
val _statusbar_addtext: (string -> unit) ref
val _refresh_drawing_area: (unit -> unit) ref
Jump to Line
Something went wrong with that request. Please try again.