diff options
| author | Vladimír Čunát <vcunat@gmail.com> | 2015-09-29T16·21+0200 |
|---|---|---|
| committer | Vladimír Čunát <vcunat@gmail.com> | 2015-11-10T21·32+0100 |
| commit | b39622a487e2978bd32c9faf2f651aec1f9815c1 (patch) | |
| tree | 9f7c754848efabd7bd7dc0c230d369bfd0af0606 /Makefile.config.in | |
| parent | aaf8a1c16bb8de4045d8aae4fea8ac8a1bef2c34 (diff) | |
rename `chroot` to `sandbox` (fixes #656, close #682)
- rename options but leav old names as lower-priority aliases, also "-dirs" -> "-paths" to get closer to the meaning - update docs to reflect the new names (old aliases are not documented), including a new file with release notes - tests need an update after corresponding changes to nixpkgs - __noChroot is left as it is (after discussion on the PR)
Diffstat (limited to 'Makefile.config.in')
0 files changed, 0 insertions, 0 deletions