Record
diff
A diff against a single file.
record diff {
path: string,
old-text: option<string>,
new-text: string,
}Fields
| Name | Type | Description |
|---|---|---|
| path | string | |
| old-text | option<string> | |
| new-text | string |
A diff against a single file.
record diff {
path: string,
old-text: option<string>,
new-text: string,
}| Name | Type | Description |
|---|---|---|
| path | string | |
| old-text | option<string> | |
| new-text | string |