Merge branch 'master' of https://source.jalview.org/git/jalviewjs.git
[jalviewjs.git] / src / javajs / api / HTMLElement.java
1 package javajs.api;
2
3 public interface HTMLElement {
4
5 }