make BufferedPipe r_data an array
authorLuke Kenneth Casson Leighton <lkcl@lkcl.net>
Mon, 25 Mar 2019 08:19:52 +0000 (08:19 +0000)
committerLuke Kenneth Casson Leighton <lkcl@lkcl.net>
Mon, 25 Mar 2019 08:19:52 +0000 (08:19 +0000)
commit8c35def71eb7a06af338b2703819e51e7c11a3fe
tree40f77a562b9cd4e67b4a325bad4b4b3fc86c67cb
parentd3eee99859634e92ef424343e18df50d045341f4
make BufferedPipe r_data an array
src/add/example_buf_pipe.py