aboutsummaryrefslogtreecommitdiffhomepage
path: root/.gitignore
diff options
context:
space:
mode:
authorRobin Haberkorn <robin.haberkorn@googlemail.com>2025-07-31 00:07:08 +0300
committerRobin Haberkorn <robin.haberkorn@googlemail.com>2025-07-31 00:33:43 +0300
commit985c5eaa7c55ebb6ba4833886119396d2a9d77c5 (patch)
tree3103ce3ae167f78955e606456cb84ee7d4b1a3ce /.gitignore
parent2ec568579823c991b919fa3a2c8583a8db21cb81 (diff)
downloadsciteco-985c5eaa7c55ebb6ba4833886119396d2a9d77c5.tar.gz
repl.tes: added script that reproduces the classic TECO REPL command-line
* Unfortunately, this will currently just terminate when some command fails. We require an error catching mechanism to fix this up.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions