aboutsummaryrefslogtreecommitdiffstats
path: root/testing/idris2/0001-Flush-standard-out-after-writing-prompt-to-it.patch
diff options
context:
space:
mode:
Diffstat (limited to 'testing/idris2/0001-Flush-standard-out-after-writing-prompt-to-it.patch')
0 files changed, 0 insertions, 0 deletions