This repository was archived by the owner on Apr 27, 2026. It is now read-only.

a couple small API cleanups#3193

Merged

jonsequitur merged 1 commit into

dotnet:mainfrom

jonsequitur:API-cleanups-09-20-2023

Sep 21, 2023

Commits on Sep 21, 2023

remove KernelCommand.Properties
jonsequitur
committed