diff options
| author | Abdullah Dursun <adursuns@gmail.com> | 2020-08-31 23:36:25 +0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-08-31 22:36:25 +0200 |
| commit | fcad0b132427847d6db2008f00fbe45a7b45cad3 (patch) | |
| tree | f8f6e1216e0c071e14f41c3b7596d3e5792afae0 /docs/make.bat | |
| parent | 70731fc6feeb40eab535781e938b0e67ff0077ad (diff) | |
Corrected note about long names in search docs.
Diffstat (limited to 'docs/make.bat')
0 files changed, 0 insertions, 0 deletions