
12 Jul
2005
12 Jul
'05
11:28 a.m.
On 07/11/2005 10:10 PM, Jonathan Turkanis wrote:
Actually, I've decided not to document the fact that you can specify a filter here rather than a device; it's only needed by the implementation. Thanks for pointing out that passage; I've fixed it locally.
Then I vote for: 5. device_streambuf / device_stream