Meson.make_clauses_unsorted: removed spurious debug code stemming from 5146d640aa4a -- must not handle arbitrary exceptions in user space;
#!/usr/bin/env bash
#
# Author: Stefan Berghofer, TU Muenchen
#
# DESCRIPTION: display Isabelle version
echo 'unidentified repository version' # filled in automatically!