Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
tree: a9bd960ae8
Fetching contributors…

Cannot retrieve contributors at this time

37 lines (27 sloc) 0.822 kb
type versionid =
VersionId of string (* a SHA1 code in hexa, or RCS version *)
type author =
Author of string
type line_annotation =
versionid * author * Common.date_dmy
type commit_patch = (string list) (* header *) * Patch.patchinfo
type file_commit_status =
| Added
| Copied
| Deleted
| Modified
| Renamed of
int (* probability of rename *) *
Common.filename (* original filename *)
| FileTypeChanged
| Unmerged
| Unknown
| Broken
(* helpers *)
val s_of_versionid: versionid -> string
(* generate a "cd xxx" *)
val goto_dir : Common.filename (* basedir *) -> string
val dummy_annotation : line_annotation
val parse_commit_patch: string list -> commit_patch
val parse_file_status: string -> file_commit_status * Common.filename
val filter_vcs_dir: Common.dirname -> bool
Jump to Line
Something went wrong with that request. Please try again.