diff options
| author | Marco Pesenti Gritti <mpg@redhat.com> | 2007-01-20 12:38:58 (GMT) |
|---|---|---|
| committer | Marco Pesenti Gritti <mpg@redhat.com> | 2007-01-20 12:38:58 (GMT) |
| commit | 4cdf88f31d5c81d57d8ff340fd471d6079618660 (patch) | |
| tree | b6d684e60b9ec071d0830424f3e228baf064064b /tools/nicks-to-list | |
| parent | 6de66d38aeedeb2949f15b3b12e9ae190a2656c9 (diff) | |
Do not hardcode /usr/bin/python
Diffstat (limited to 'tools/nicks-to-list')
| -rwxr-xr-x | tools/nicks-to-list | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/nicks-to-list b/tools/nicks-to-list index d4116be..b140b4c 100755 --- a/tools/nicks-to-list +++ b/tools/nicks-to-list @@ -1,4 +1,4 @@ -#!/usr/bin/python +#!/usr/bin/env python import sys |