thirdparty/google_appengine/dev_appserver.py
changeset 416 99771d263391
parent 149 f2e327a7c5de
child 686 df109be0567c
--- a/thirdparty/google_appengine/dev_appserver.py	Thu Oct 23 12:00:29 2008 +0000
+++ b/thirdparty/google_appengine/dev_appserver.py	Sat Oct 25 22:26:34 2008 +0000
@@ -1,4 +1,4 @@
-#!/usr/bin/env python
+#!/usr/bin/env python2.5
 #
 # Copyright 2007 Google Inc.
 #