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 /doc/manual/release-notes/release-notes.xml | |
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 'doc/manual/release-notes/release-notes.xml')
-rw-r--r-- | doc/manual/release-notes/release-notes.xml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/manual/release-notes/release-notes.xml b/doc/manual/release-notes/release-notes.xml index 4ea57c99c3a4..0aa3e8717aa1 100644 --- a/doc/manual/release-notes/release-notes.xml +++ b/doc/manual/release-notes/release-notes.xml @@ -12,6 +12,7 @@ </partintro> --> +<xi:include href="rl-1.11.xml" /> <xi:include href="rl-1.10.xml" /> <xi:include href="rl-1.9.xml" /> <xi:include href="rl-1.8.xml" /> |