forked from Isabelle_DOF/Isabelle_DOF
Fixed shebang.
This commit is contained in:
parent
c59858930d
commit
10b4eaf660
|
@ -1,4 +1,4 @@
|
|||
#/bin/sh
|
||||
#!/bin/sh
|
||||
|
||||
DIRREGEXP="\\.\\.\\/"
|
||||
|
||||
|
|
Loading…
Reference in New Issue