diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-12-09 19:26:33 +0000 |
---|---|---|
committer | GitHub <[email protected]> | 2020-12-09 19:26:33 +0000 |
commit | fc1595539ee410c6a713e9b33d2074ae3732b849 (patch) | |
tree | e6e048ca42f1bce771d7981e6714edfc57383ab5 /editors/code/.gitignore | |
parent | 928d4c6744d4b06bb1d67ea9b967c27342eea38c (diff) | |
parent | bb412f314db01fb7fe356b658fe36e21fa9fb4fb (diff) |
Merge #6789
6789: Fix a typo in manual.adoc r=lnicola a=cuviper
Co-authored-by: Josh Stone <[email protected]>
Diffstat (limited to 'editors/code/.gitignore')
0 files changed, 0 insertions, 0 deletions