diff options
| author | Théo Zimmermann | 2018-07-08 13:28:45 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2018-07-08 13:28:45 +0200 |
| commit | 6739b456097cb42d4047083cc4d2dba751e3b872 (patch) | |
| tree | b76e242cd28d7c8c876e24bcc992f4875e939de1 /dev/header.py | |
| parent | 827de05d233b631f1dd6d50dc84698c15445ac00 (diff) | |
| parent | d8efd8998c8ccac4d8c00e5de842e55959cf7d55 (diff) | |
Merge PR #8020: Modify URLs in xml-protocol.md
Diffstat (limited to 'dev/header.py')
0 files changed, 0 insertions, 0 deletions