diff options
| author | Théo Zimmermann | 2021-02-06 18:39:25 +0100 |
|---|---|---|
| committer | Théo Zimmermann | 2021-02-08 16:14:24 +0100 |
| commit | 4b08c87c99a72dd57bdd5b0be1bddd4085b4d495 (patch) | |
| tree | a500fd0b62a785ffeb82642363dc5ad171c6f4ef /dev | |
| parent | 16765871394a81975047b37f15a902fcc112dc40 (diff) | |
Properly document the local and global locality attributes.
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions