fix remplace/buffered input stream
authorNiki Roo <niki@nikiroo.be>
Wed, 20 May 2020 11:28:17 +0000 (13:28 +0200)
committerNiki Roo <niki@nikiroo.be>
Wed, 20 May 2020 11:28:17 +0000 (13:28 +0200)
commit5a2af0e473b9465b82402c1ee717c0f31df079b4
treef1a38bd70548418aad528ec99df01ce11a1ba531
parent2e6426c0e430244113c990e278dce1f500504fe2
fix remplace/buffered input stream
streams/BufferedInputStream.java
streams/ReplaceInputStream.java
test_code/ReplaceInputStreamTest.java