summaryrefslogtreecommitdiff
path: root/README.md
diff options
context:
space:
mode:
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)