Age | Commit message (Expand) | Author |
---|---|---|
10 days | Terminal: properly draw bottom lines in getInputLine | Roman Smrž |
11 days | Adapt interactive identity updates for Terminal | Roman Smrž |
2025-02-03 | Terminal: printing lines below prompt | Roman Smrž |
2025-01-28 | Custom prompt implementation instead of Haskeline | Roman Smrž |