diff options
| -rwxr-xr-x | Porting/make_dot_patch.pl | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Porting/make_dot_patch.pl b/Porting/make_dot_patch.pl index cf545ac809..6d2767c2e2 100755 --- a/Porting/make_dot_patch.pl +++ b/Porting/make_dot_patch.pl @@ -1,3 +1,4 @@ +#!/usr/bin/perl use strict; use warnings; |