Merge branch 'master' into subtree
authorNiki Roo <niki@nikiroo.be>
Tue, 19 May 2020 19:16:46 +0000 (21:16 +0200)
committerNiki Roo <niki@nikiroo.be>
Tue, 19 May 2020 19:16:46 +0000 (21:16 +0200)
1  2 
streams/ReplaceInputStream.java
test_code/ReplaceInputStreamTest.java
ui/UIUtils.java

Simple merge
Simple merge
diff --cc ui/UIUtils.java
Simple merge