Michal Sojka 799154f53c Add doctest of dumb terminal ...

This serves two purposes:

1. It demonstrates the functionality of the dumb terminal.
2. It checks that the previous commit works.

2021-12-05 11:53:30 +01:00

..

src

Add doctest of dumb terminal

2021-12-05 11:53:30 +01:00

make.jl

Docs updated

2020-04-25 20:41:09 +02:00