Fixed kill command to work properly on linux and devcontainers#86
Open
pbendersky wants to merge 1 commit into
Open
Fixed kill command to work properly on linux and devcontainers#86pbendersky wants to merge 1 commit into
pbendersky wants to merge 1 commit into
