lib/dummy_stty/stty
author wenzelm
Sun, 05 Feb 2023 15:59:18 +0100
changeset 77197 a541da01ba67
parent 64044 deb4a786e6f9
permissions -rwxr-xr-x
clarified signature selection: SortedSet[String], which fits better to stored json and works properly on Windows (NB: document theories have an authentic session-theory name);

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