mirror of
https://github.com/NixOS/nixpkgs.git
synced 2025-02-27 06:25:23 +00:00
![]() Send SIGTERM instead of SIGKILL to vde_switch to give it chance to delete the directories. |
||
---|---|---|
.. | ||
log2html.xsl | ||
logfile.css | ||
Logger.pm | ||
Machine.pm | ||
test-driver.pl | ||
test-driver.py | ||
treebits.js |