diff options
| author | Théo Zimmermann | 2020-03-24 09:44:50 +0100 |
|---|---|---|
| committer | Théo Zimmermann | 2020-03-24 09:44:50 +0100 |
| commit | 0cc90c16000ba0afbb3ae74ebb022cc04747ee3c (patch) | |
| tree | fe404d934e3bdeb890ba598095a95037fc6f83bd /doc/sphinx/changes.rst | |
| parent | cee03a5adac70a3fae696b81e2e3827971ee6c99 (diff) | |
| parent | f4b9158addf87e48a5287e400a8858406f20655e (diff) | |
Merge PR #11892: [refman] Fix caching, which was broken by the addition of coq_config
Reviewed-by: Zimmi48
Diffstat (limited to 'doc/sphinx/changes.rst')
| -rw-r--r-- | doc/sphinx/changes.rst | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/sphinx/changes.rst b/doc/sphinx/changes.rst index a0cf9730a9..f76b60097a 100644 --- a/doc/sphinx/changes.rst +++ b/doc/sphinx/changes.rst @@ -4,7 +4,7 @@ Recent changes -------------- -.. ifconfig:: not coq_config.is_a_released_version +.. ifconfig:: not is_a_released_version .. include:: ../unreleased.rst |