ManifestFragment
A fragment and where it was read from, for the messages of ManifestMerger.
Fields may be added: pass the constructor's arguments by name.
Properties
Functions
Link copied to clipboard
fun ManifestFragment.copyWith(source: String = this.source, manifest: Manifest = this.manifest): ManifestFragment