diff options
| author | Carlton Gibson <carlton@noumenal.es> | 2020-12-15 12:08:45 +0100 |
|---|---|---|
| committer | Mariusz Felisiak <felisiak.mariusz@gmail.com> | 2020-12-15 12:09:38 +0100 |
| commit | 3d28beea00dfd99e6a3837803c220bb360f20369 (patch) | |
| tree | 9811412ccd8cd098079e30a30b15ec3bc617892f /docs/make.bat | |
| parent | 5d41fd22dc68161e28aea5aabc4097c039338212 (diff) | |
[3.1.x] Corrected formatting in settings docs.
Backport of 0ed6f3ba4b9d883ad0d961c6e65c455c3379e1b9 from master
Diffstat (limited to 'docs/make.bat')
0 files changed, 0 insertions, 0 deletions