diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2019-11-28 10:02:46 +0000 |
|---|---|---|
| committer | GitHub <[email protected]> | 2019-11-28 10:02:46 +0000 |
| commit | 16030528b53d38e24c1e5733aa4cc46058d0bbd1 (patch) | |
| tree | e878f88aebf11c0e54eff2e107dfaa4d192ab272 /docs/user | |
| parent | 2702fa1c5d6d8ad504c0d7703b6363ea09ba5570 (diff) | |
| parent | ccd1b0800a5de5e046e6e9a4b6f49030c1ce3639 (diff) | |
Merge #2440
2440: Rename Source -> InFile r=matklad a=matklad
Co-authored-by: Aleksey Kladov <[email protected]>
Diffstat (limited to 'docs/user')
0 files changed, 0 insertions, 0 deletions