From 7007b8bbbd4367865cc0b197c2062b0f1016ef5a 2007-03-19 05:39:38
From: fperez
Date: 2007-03-19 05:39:38
Subject: [PATCH] proper shebang line
---

diff --git a/tools/update_revnum.py b/tools/update_revnum.py
index 9567c1f..7191114 100755
--- a/tools/update_revnum.py
+++ b/tools/update_revnum.py
@@ -1,3 +1,4 @@
+#!/usr/bin/env python
 """ Change the revision number in Release.py """
 
 import os