merge from develop

[jalview.git] / src / jalview / api / BuildDetailsI.java

diff --git a/src/jalview/api/BuildDetailsI.java b/src/jalview/api/BuildDetailsI.java
new file mode 100644 (file)
index 0000000..7a9bbff
--- /dev/null
+++ b/src/jalview/api/BuildDetailsI.java
@@ -0,0 +1,10 @@
+package jalview.api;
+
+public interface BuildDetailsI
+{
+  public String getBuildDate();
+
+  public String getVersion();
+
+  public String getInstallation();
+}