diff options
author | Klaus Aehlig <klaus.aehlig@huawei.com> | 2023-07-10 13:33:28 +0200 |
---|---|---|
committer | Klaus Aehlig <klaus.aehlig@huawei.com> | 2023-07-12 11:50:13 +0200 |
commit | 711de5ed45d06d28a67a8fecedb1985b264b1bcf (patch) | |
tree | 57cbcd3173f8186ece0e4bec12951c6040a75525 /README.md | |
parent | 85938804a4a043c75cc4ca51a64ee789e55ba7cb (diff) | |
download | justbuild-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.md | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -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) |