Skip to content

Use a more portable shebang

Viktor Kuncak requested to merge shebang into master

Created by: mantognini

based on https://github.com/epfl-lara/leon/pull/313

Merge request reports