diff options
author | 2018-04-10 02:36:15 -0700 | |
---|---|---|
committer | 2018-04-10 02:37:47 -0700 | |
commit | f1f5f99a98e65f43aab8c5dba6ed6f6871c479cd (patch) | |
tree | 55b89ca7fb1c967eda9a4f1f4613aeb99826c8a1 /src | |
parent | f7549a6c2484d314c10fe8fe52c2d24d2a7de19e (diff) |
Update repository-rule documentation on restarts
Update documentation of repository rules to reflect the recent
change that label arguments are prefetched.
Related to #4533.
Change-Id: I765b3d030ca3e6bf0cca7e18f4bfcc17d1d5aea3
PiperOrigin-RevId: 192258022
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions