# HG changeset patch
# User HackBot
# Date 1467588647 0
# Node ID 72e6c70999696b962627994b03e2a3daed11c844
# Parent  9bb19ed11cdc79739b30eff0d1eca431885bc2c6
<oerjan> sled bin/rainbow//1c#!/hackenv/bin/shebang_args_or_input python

diff -r 9bb19ed11cdc -r 72e6c7099969 bin/rainbow
--- a/bin/rainbow	Sun Jul 03 23:27:10 2016 +0000
+++ b/bin/rainbow	Sun Jul 03 23:30:47 2016 +0000
@@ -1,4 +1,4 @@
-#!/usr/bin/env python
+#!/hackenv/bin/shebang_args_or_input python
 import random
 import re
 w=raw_input()