diff options
Diffstat (limited to 'projects/mosys/mosys')
| -rwxr-xr-x | projects/mosys/mosys | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/projects/mosys/mosys b/projects/mosys/mosys index 76b9d15b..f0f3345b 100755 --- a/projects/mosys/mosys +++ b/projects/mosys/mosys @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash # Copyright (C) 2016 Paul Kocialkowski <contact@paulk.fr> # |