Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
tree: 8bfd28e0ba
Fetching contributors…

Cannot retrieve contributors at this time

4 lines (3 sloc) 0.126 kb
(*s: editor_connection.mli *)
val open_file_in_current_editor : file:string -> line:int -> unit
(*e: editor_connection.mli *)
Jump to Line
Something went wrong with that request. Please try again.