mirror of
https://github.com/NixOS/nixpkgs.git
synced 2024-11-22 05:31:22 +00:00
d4cbe042ef
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 |