diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2018-10-03 09:44:41 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-10-03 09:44:41 +0200 |
| commit | 0bc0baff821512ecd9391771b3abd9aa44c7c1ef (patch) | |
| tree | c7cc55cae5571917c05a742b8722be9cc95596ea /core | |
| parent | 64962fe605b48ecec3a5cde53c73c220031ececc (diff) | |
| parent | 1316595c96ee798b753f18424d9d31f8fa4cb158 (diff) | |
Merge pull request #22657 from YeldhamDev/remove_doc_path
Remove "Doc Path" setting
Diffstat (limited to 'core')
0 files changed, 0 insertions, 0 deletions