lib/dummy_stty/stty
author desharna
Sun, 28 Nov 2021 19:15:12 +0100
changeset 75265 7b0a241732c1
parent 64042 deb4a786e6f9
permissions -rwxr-xr-x
added definitions multp{DM,HO} and corresponding lemmas

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