| commit | f06ee5fa072931fc807527535c91a46c149a6746 | [log] [tgz] |
|---|---|---|
| author | Guido van Rossum <guido@python.org> | Wed Nov 27 19:52:01 1996 +0000 |
| committer | Guido van Rossum <guido@python.org> | Wed Nov 27 19:52:01 1996 +0000 |
| tree | f5be5d5b642b477eaf52e42de2a7792e2ab91cb7 | |
| parent | cd612d5e5c330bcc77e593cbc406b4214858aa78 [diff] [blame] |
/usr/local/bin/python -> /usr/bin/env python
diff --git a/Demo/sgi/video/Vaddcache.py b/Demo/sgi/video/Vaddcache.py index 6428fcb..4c8fdac 100755 --- a/Demo/sgi/video/Vaddcache.py +++ b/Demo/sgi/video/Vaddcache.py
@@ -1,4 +1,4 @@ -#! /ufs/guido/bin/sgi/python +#! /usr/bin/env python # Add a cache to each of the files given as command line arguments