2 Commits

Author	SHA1	Message	Date
Max Kellermann	0626e3d21e	input/buffering: at end of input, seek to first hole	2019-05-16 22:29:10 +02:00
Max Kellermann	5277297336	input/buffered: move basic buffering code to class BufferingInputStream ... Prepare to reuse it in another class.	2019-05-16 21:41:28 +02:00