# HG changeset patch
# User Tim Ansell <mithro@gmail.com>
# Date 1224973594 0
# Node ID 99771d263391f843132aabe6a6575251baab7576
# Parent  6488ff168b4263ed60cb72412b3a13529840fc28
Run with Python 2.5

diff -r 6488ff168b42 -r 99771d263391 thirdparty/google_appengine/dev_appserver.py
--- 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.
 #