hopefully more robust, as we've seen this file to be interpreted by bash on PLE
authorThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Tue, 18 Jan 2011 14:09:40 +0000 (15:09 +0100)
committerThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Tue, 18 Jan 2011 14:09:40 +0000 (15:09 +0100)
plc.d/accessors

index 31731cf..7dc417d 100755 (executable)
@@ -1,4 +1,4 @@
-#!/usr/bin/plcsh
+#!/usr/bin/python /usr/bin/plcsh
 # -*- python -*-
 
 #