Skip to content

Commit

Permalink
Fix version string, add versionchanged
Browse files Browse the repository at this point in the history
Signed-off-by: Ambre Austen Suhamy <[email protected]>
  • Loading branch information
ElectreAAS committed Sep 18, 2024
1 parent bf2cfb6 commit 521ca04
Showing 1 changed file with 3 additions and 2 deletions.
5 changes: 3 additions & 2 deletions doc/caching.rst
Original file line number Diff line number Diff line change
Expand Up @@ -15,8 +15,7 @@ or simply undoing some changes within the same workspace.
Configuration
=============

.. TODO (ElectreAAS): update version number here when releasing
Since %version%, Dune cache is now an opt-out feature: it is enabled by default.
Since version 3.17, Dune cache is an opt-out feature: it is enabled by default.
There are three ways to disable it. Choose the one that is more convenient for you:

* Add ``(cache disabled)`` to your Dune configuration file
Expand All @@ -29,6 +28,8 @@ systems and ``%LOCALAPPDATA%\Microsoft\Windows\Temporary Internet Files\dune`` o
You can change the default location by setting the environment variable
``DUNE_CACHE_ROOT``.

.. versionchanged:: 3.17 The cache used to be opt-in, disabled by default.

Caching User Rules
==================

Expand Down

0 comments on commit 521ca04

Please sign in to comment.