]> granicus.if.org Git - python/commit
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)
commit73aaeb15cab13cb3375ab9e4b94b556828d0737c
tree4023d0a61dd4acc25c2d7af45115f08877853a1b
parentcd235278ba5561e48140e1d677eef36ef504c500
Rename batch file.
Doc/make.bat [moved from Doc/builddoc.bat with 100% similarity]