Record
plugin
No description available.
record plugin {
package-op: option<string>,
pinned-version: option<string>,
}Fields
| Name | Type | Description |
|---|---|---|
| package-op | option<string> | |
| pinned-version | option<string> |
No description available.
record plugin {
package-op: option<string>,
pinned-version: option<string>,
}| Name | Type | Description |
|---|---|---|
| package-op | option<string> | |
| pinned-version | option<string> |