Merge pull request #1041 from marquiz/devel/cleanup-scripts

scripts: remove unused batch file for docs building
intel · Aug 16, 2023 · 91177b6 · 91177b6
2 parents 6edd9ec + 0e84ebf
commit 91177b6
Showing 1 changed file with 0 additions and 37 deletions.
diff --git a/scripts/docs/make.bat b/scripts/docs/make.bat