File tree Expand file tree Collapse file tree 5 files changed +5
-5
lines changed Expand file tree Collapse file tree 5 files changed +5
-5
lines changed Original file line number Diff line number Diff line change 1- #! /bin/bash
1+ #! /usr/ bin/env bash
22
33# Copyright (c) 2018-2019 Status Research & Development GmbH. Licensed under
44# either of:
Original file line number Diff line number Diff line change 1- #! /bin/bash
1+ #! /usr/ bin/env bash
22
33# Copyright (c) 2020 Status Research & Development GmbH. Licensed under
44# either of:
Original file line number Diff line number Diff line change 1- #! /bin/bash
1+ #! /usr/ bin/env bash
22
33# Copyright (c) 2018-2020 Status Research & Development GmbH. Licensed under
44# either of:
Original file line number Diff line number Diff line change 1- #! /bin/bash
1+ #! /usr/ bin/env bash
22
33# Simple build script to produce an Emscripten-based wasm version of the state
44# sim.
Original file line number Diff line number Diff line change 1- #! /bin/bash
1+ #! /usr/ bin/env bash
22
33# Simple build script to produce an Emscripten-based wasm version of the state
44# sim.
You can’t perform that action at this time.
0 commit comments