diff options
| author | umi | 2019-12-13 05:59:00 +0100 |
|---|---|---|
| committer | Drashna Jaelre | 2019-12-13 05:59:00 +0100 |
| commit | 09c7304bd98fcf39deddbabc16f6a3f0b5391b9c (patch) | |
| tree | 4def2920c63fede439d7a78bdffe79c797a054ed /util | |
| parent | 58b2c72d53649afc02e15077e827aa0926a09b40 (diff) | |
[Docs] update git command and directory name of documents (#7619)
Diffstat (limited to 'util')
0 files changed, 0 insertions, 0 deletions