Add back make.bat for building docs and running doctests on Windows
#142
| Job | Run time |
|---|---|
| 10s | |
| 10s |
make.bat for building docs and running doctests on Windows
#142
| Job | Run time |
|---|---|
| 10s | |
| 10s |