Nathalie Furmento hace 4 años
padre
commit
f53e1dc455
Se han modificado 1 ficheros con 1 adiciones y 1 borrados
  1. 1 1
      contrib/gitlab/build.sh

+ 1 - 1
contrib/gitlab/build.sh

@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/bin/sh
 
 ls -ls
 ping dalton.bordeaux.inria.fr