diff options
| author | Takeshi KOMIYA <i.tkomiya@gmail.com> | 2022-01-30 23:54:37 +0900 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-01-30 23:54:37 +0900 |
| commit | 07110b7557a552ecfe702bdd6a2d2f9685cb1af9 (patch) | |
| tree | 4d3d752a3e864f8200949a3d2c2b2654b6d3421e /doc/extdev | |
| parent | 8d82b9cd229f2bf5e66e9d1c467d046f012e0dc1 (diff) | |
| parent | 13011703ea5e06b5955263281ec8cf5797cf4f9a (diff) | |
| download | sphinx-git-07110b7557a552ecfe702bdd6a2d2f9685cb1af9.tar.gz | |
Merge pull request #10132 from tk0miya/10122_install_check_in_make.bat
Fix #10122: make.bat should check the installation before help
Diffstat (limited to 'doc/extdev')
0 files changed, 0 insertions, 0 deletions