ProjectFileChanges Type
ProjectFileChanges describes what source files changed within a single project.
Record fields
| Record Field |
Description
|
Full Usage:
ChangedFiles
Field type: string[] voption
|
ChangedFiles lists source file paths whose content differs.
|
Full Usage:
DeletedFiles
Field type: string[] voption
|
DeletedFiles lists source file paths removed from the project's program.
|
Static members
| Static member |
Description
|
|
The record with nothing set: every field is either optional or a default of its own, so this serialises to `{}`. Copy-update it to fill in the fields you mean - `{ ProjectFileChanges.Default with ... }` - rather than writing all 2 out.
|