mirror of https://github.com/CGAL/cgal
Our pre-commit hook is a bash script: use [[ ]]
This commit is contained in:
parent
a614260127
commit
dcf87863bb
|
|
@ -1,4 +1,4 @@
|
|||
#!/bin/sh
|
||||
#!/bin/bash
|
||||
|
||||
# PRE-COMMIT HOOK
|
||||
#
|
||||
|
|
|
|||
Loading…
Reference in New Issue