]> granicus.if.org Git - python/commitdiff
projects / python / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: cd23527)
Rename batch file.
authorGeorg Brandl <georg@python.org>
Fri, 1 Feb 2008 18:08:09 +0000 (18:08 +0000)
committerGeorg Brandl <georg@python.org>
Fri, 1 Feb 2008 18:08:09 +0000 (18:08 +0000)
Doc/make.bat [moved from Doc/builddoc.bat with 100% similarity] patch | blob | history

diff --git a/Doc/builddoc.bat b/Doc/make.bat
similarity index 100%
rename from Doc/builddoc.bat
rename to Doc/make.bat
Unnamed repository; edit this file 'description' to name the repository.