summaryrefslogtreecommitdiff
path: root/README.md
diff options
context:
space:
mode:
authorKlaus Aehlig <klaus.aehlig@huawei.com>2023-07-10 13:33:28 +0200
committerKlaus Aehlig <klaus.aehlig@huawei.com>2023-07-12 11:50:13 +0200
commit711de5ed45d06d28a67a8fecedb1985b264b1bcf (patch)
tree57cbcd3173f8186ece0e4bec12951c6040a75525 /README.md
parent85938804a4a043c75cc4ca51a64ee789e55ba7cb (diff)
downloadjustbuild-711de5ed45d06d28a67a8fecedb1985b264b1bcf.tar.gz
Execution properties are no longer a future design
... but an implemented concept. Update the documentation accordingly.
Diffstat (limited to 'README.md')
-rw-r--r--README.md1
1 files changed, 1 insertions, 0 deletions
diff --git a/README.md b/README.md
index 0c16267d..8ba12b2a 100644
--- a/README.md
+++ b/README.md
@@ -38,3 +38,4 @@ taken from user-defined rules described by functional expressions.
- [Target-Level Caching](doc/concepts/target-cache.md)
- [Garbage Collection](doc/concepts/garbage.md)
- [Symbolic links](doc/concepts/symlinks.md)
+- [Execution properties](doc/concepts/execution-properties.md)