Romain Calascibetta 2cfcb0a714 Rename batch to change_and_push (and implement batch as noop)		2022-10-31 18:13:15 +01:00
..
dune	Rename batch to change_and_push (and implement batch as noop)	2022-10-31 18:13:15 +01:00
fold.t	Rename batch to change_and_push (and implement batch as noop)	2022-10-31 18:13:15 +01:00
simple.t	Implement the batch function according to the documentation	2022-10-29 21:18:10 +02:00