Juan 13/05/2019: Change old "#!/bin/sh" in "#!/bin/bash" in all script (be93aa73) · Commits · RODIER Quentin / Méso-NH code · GitLab

Snippets Groups Projects

Commit be93aa73 authored 5 years ago by Juan Escobar

Juan 13/05/2019: Change old "#!/bin/sh" in "#!/bin/bash" in all script

parent 9b052075

No related branches found

No related tags found

No related merge requests found

Hide whitespace changes

Inline Side-by-side

Showing with 20 additions and 20 deletions

Please register or to comment

Documentation | Mentions légales | CGU | Accessibilité : non conforme