diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2018-09-13 02:07:22 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-09-13 02:07:22 +0200 |
| commit | f438d311aef98a366b987608e5e5e5601d7cbbaa (patch) | |
| tree | 5e8dfd1464fefe19628bc44414f27444421d1c0d /platform/server | |
| parent | ffd565aea0b53d06633cbbe43b1454f3707e6fac (diff) | |
| parent | a923eff9a498af7780615a7dfaf6031eacf3510f (diff) | |
Merge pull request #22002 from akien-mga/doc-unify-editor-rst
Doc: Use same headers and order in-editor and online
Diffstat (limited to 'platform/server')
0 files changed, 0 insertions, 0 deletions