G. Allais d105dd11a7 [ breaking ] remove List1 related ambiguities (#690)		2020-09-22 15:07:40 +01:00
..
expected	Add popen and pclose from Idris 1	2020-05-28 12:58:03 +02:00
input	Add popen and pclose from Idris 1	2020-05-28 12:58:03 +02:00
Popen.idr	[ breaking ] remove List1 related ambiguities (#690)	2020-09-22 15:07:40 +01:00
run	Rename --consolewidth option to --console-width for consistency	2020-08-19 11:59:31 +01:00