diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2008-12-11T17·52+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2008-12-11T17·52+0000 |
| commit | 652817046b2f999e29de8109fce9c61b5b18d22c (patch) | |
| tree | ae071f7ffbadc587519b181d2e9b36c1be848f01 /scripts | |
| parent | 5a569509b491d43bfcb5c72e85a6d7374a583228 (diff) | |
* Revert r13150: now that we use private namespaces for the chroot, we
don't have to put the chroot in /nix/var/nix/chroots anymore. They're back in /tmp now.
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions