andr3/scyther
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

BUGFIX: Use /usr/bin/env to locate the correct Python interpreter.

Browse Source
This commit is contained in:
Cas Cremers 2010-11-12 14:20:53 +01:00
parent 9a04264d39
commit b1f993a6c9
5 changed files with 5 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
gui/progressbarDummy.py
View File

@ -1,4 +1,4 @@
#!/usr/bin/python #!/usr/bin/env python
""" """
Scyther : An automatic verifier for security protocols. Scyther : An automatic verifier for security protocols.
Copyright (C) 2007-2009 Cas Cremers Copyright (C) 2007-2009 Cas Cremers

2
gui/scyther-gui.py
View File

@ -1,4 +1,4 @@
#!/usr/bin/python #!/usr/bin/env python
""" """
Scyther : An automatic verifier for security protocols. Scyther : An automatic verifier for security protocols.
Copyright (C) 2007 Cas Cremers Copyright (C) 2007 Cas Cremers

2
gui/scyther.py
View File

@ -1,4 +1,4 @@
#!/usr/bin/python #!/usr/bin/env python
""" """
Scyther : An automatic verifier for security protocols. Scyther : An automatic verifier for security protocols.
Copyright (C) 2007 Cas Cremers Copyright (C) 2007 Cas Cremers

2
gui/test-delta.py
View File

@ -1,4 +1,4 @@
#!/usr/bin/python #!/usr/bin/env python
""" """
Scyther : An automatic verifier for security protocols. Scyther : An automatic verifier for security protocols.
Copyright (C) 2007 Cas Cremers Copyright (C) 2007 Cas Cremers

2
gui/test-mpa.py
View File

@ -1,4 +1,4 @@
#!/usr/bin/python #!/usr/bin/env python
""" """
Scyther : An automatic verifier for security protocols. Scyther : An automatic verifier for security protocols.
Copyright (C) 2007 Cas Cremers Copyright (C) 2007 Cas Cremers