lib/dummy_stty/stty
author wenzelm
Sat, 27 Feb 2021 22:17:56 +0100
changeset 73324 48abb09d49ea
parent 64044 deb4a786e6f9
permissions -rwxr-xr-x
more Isabelle/ML/Scala operations;

#!/usr/bin/env bash
#
# dummy stty for old versions of scalac (e.g. 2.10.0)