diff options
| author | Théophane Hufschmitt <7226587+thufschmitt@users.noreply.github.com> | 2022-08-02 07:17:09 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-08-02 07:17:09 +0200 |
| commit | 780a4793866b2cac1040d522df514645d01c492f (patch) | |
| tree | ecb1827eaec2dba3e487733f2a123354c2c352d7 /precompiled-headers.h | |
| parent | e9178d7d4a9d3f689f911440fa71f135e55b570b (diff) | |
| parent | f675ba53310f1bfbe6e9867184b3a5177532b370 (diff) | |
Merge pull request #6851 from K900/patch-1
doc/distributed-builds: don't use deprecated alias
Diffstat (limited to 'precompiled-headers.h')
0 files changed, 0 insertions, 0 deletions