Merge branch 'master' of https://source.jalview.org/git/jalviewjs.git
[jalviewjs.git] / src / javajs / api / ZInputStream.java
1 package javajs.api;
2
3 public interface ZInputStream {
4   // placeholder for ZipInputStream not requiring direct access to java.util.zip
5
6 }