diff options
| author | umi <57262844+umi-umi@users.noreply.github.com> | 2020-06-08 02:24:35 +0900 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-06-08 02:24:35 +0900 |
| commit | a7f093b40c11d377cfc15057e0873e908605fd80 (patch) | |
| tree | 324203a88e5b4fe8e381ae948ea0422f38046db1 /util/generate_internal_docs.sh | |
| parent | b9a38487f390b593eafead0228beedfda375eb32 (diff) | |
[Docs] Japanese translation of docs/feature_terminal.md (#9033)
* add feature_terminal.md translation
* add header for git
* update based on comment
Diffstat (limited to 'util/generate_internal_docs.sh')
0 files changed, 0 insertions, 0 deletions