summaryrefslogtreecommitdiff
path: root/COPYING
diff options
context:
space:
mode:
authorPhilipp Gesang <phg@phi-gamma.net>2018-12-09 20:59:11 +0100
committerPhilipp Gesang <phg@phi-gamma.net>2018-12-09 20:59:13 +0100
commit5835b73456898c7bd48d3ed9ec2539c1b560f9b8 (patch)
treef03210622536c66f9cf061b6a9bc50773d9fabe8 /COPYING
parent039f4068c0e991b79769426486147d7851d5d6fd (diff)
downloadocaml-sid-5835b73456898c7bd48d3ed9ec2539c1b560f9b8.tar.gz
sidparse: flush linewise when run interactively
Provide immediate feedback on stdout when running in an interactive terminal the assumption being we’re dealing with a human.
Diffstat (limited to 'COPYING')
0 files changed, 0 insertions, 0 deletions