| changeset 64232 | 367d83d6030e |
| parent 64217 | 3dbfd6758735 |
| child 64285 | d7e0123a752b |
| 64231:dbc8294c75d3 | 64232:367d83d6030e |
|---|---|
70 options |
70 options |
71 } |
71 } |
72 |
72 |
73 |
73 |
74 final def hg_id(path: Path): String = |
74 final def hg_id(path: Path): String = |
75 Mercurial.repository(path).identify(options = "-i") |
75 Mercurial.repository(path).id() |
76 |
76 |
77 final def print_section(title: String): Unit = |
77 final def print_section(title: String): Unit = |
78 println(s"\n=== $title ===\n") |
78 println(s"\n=== $title ===\n") |
79 |
79 |
80 |
80 |