diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2019-12-14 14:08:08 +0000 |
|---|---|---|
| committer | GitHub <[email protected]> | 2019-12-14 14:08:08 +0000 |
| commit | 77db6177658b32f69ad7ebfdef96c1b3b2893fdd (patch) | |
| tree | 2a9f0f16b34821dfe4319bef410e177311e87f16 /docs | |
| parent | 7238037de42a2fd88434930c521b926d7b0026da (diff) | |
| parent | f02fcc16444fcd18ccd51b43fa01bf0233e044fa (diff) | |
Merge #2554
2554: Add macros for known names and paths r=matklad a=flodiebold
Co-authored-by: Florian Diebold <[email protected]>
Diffstat (limited to 'docs')
0 files changed, 0 insertions, 0 deletions