Bump version to 2.0.1.

spotify · Oct 17, 2023 · 68ad1d3 · 68ad1d3
1 parent 63b3c81
commit 68ad1d3
Show file tree

Hide file tree

Showing 45 changed files with 155 additions and 155 deletions.
diff --git a/docs/java/allclasses-index.html b/docs/java/allclasses-index.html
@@ -2,10 +2,10 @@
 <!-- NewPage -->
 <html lang="en">
 <head>
-<!-- Generated by javadoc (11.0.16.1) on Fri Oct 06 10:41:33 EDT 2023 -->
-<title>All Classes (voyager 2.0.0 API)</title>
+<!-- Generated by javadoc (11.0.16.1) on Tue Oct 17 14:55:31 EDT 2023 -->
+<title>All Classes (voyager 2.0.1 API)</title>
 <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
-<meta name="dc.created" content="2023-10-06">
+<meta name="dc.created" content="2023-10-17">
 <link rel="stylesheet" type="text/css" href="stylesheet.css" title="Style">
 <link rel="stylesheet" type="text/css" href="jquery/jquery-ui.css" title="Style">
 <script type="text/javascript" src="script.js"></script>
@@ -21,7 +21,7 @@
 <script type="text/javascript"><!--
     try {
         if (location.href.indexOf('is-external=true') == -1) {
-            parent.document.title="All Classes (voyager 2.0.0 API)";
+            parent.document.title="All Classes (voyager 2.0.1 API)";
         }
     }
     catch(err) {

diff --git a/docs/java/allclasses.html b/docs/java/allclasses.html
@@ -2,10 +2,10 @@
 <!-- NewPage -->
 <html lang="en">
 <head>
-<!-- Generated by javadoc (11.0.16.1) on Fri Oct 06 10:41:33 EDT 2023 -->
-<title>All Classes (voyager 2.0.0 API)</title>
+<!-- Generated by javadoc (11.0.16.1) on Tue Oct 17 14:55:31 EDT 2023 -->
+<title>All Classes (voyager 2.0.1 API)</title>
 <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
-<meta name="dc.created" content="2023-10-06">
+<meta name="dc.created" content="2023-10-17">
 <link rel="stylesheet" type="text/css" href="stylesheet.css" title="Style">
 <link rel="stylesheet" type="text/css" href="jquery/jquery-ui.css" title="Style">
 <script type="text/javascript" src="script.js"></script>

diff --git a/docs/java/allpackages-index.html b/docs/java/allpackages-index.html
@@ -2,10 +2,10 @@
 <!-- NewPage -->
 <html lang="en">
 <head>
-<!-- Generated by javadoc (11.0.16.1) on Fri Oct 06 10:41:33 EDT 2023 -->
-<title>All Packages (voyager 2.0.0 API)</title>
+<!-- Generated by javadoc (11.0.16.1) on Tue Oct 17 14:55:31 EDT 2023 -->
+<title>All Packages (voyager 2.0.1 API)</title>
 <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
-<meta name="dc.created" content="2023-10-06">
+<meta name="dc.created" content="2023-10-17">
 <link rel="stylesheet" type="text/css" href="stylesheet.css" title="Style">
 <link rel="stylesheet" type="text/css" href="jquery/jquery-ui.css" title="Style">
 <script type="text/javascript" src="script.js"></script>
@@ -21,7 +21,7 @@
 <script type="text/javascript"><!--
     try {
         if (location.href.indexOf('is-external=true') == -1) {
-            parent.document.title="All Packages (voyager 2.0.0 API)";
+            parent.document.title="All Packages (voyager 2.0.1 API)";
         }
     }
     catch(err) {

diff --git a/docs/java/com/spotify/voyager/jni/Index.QueryResults.html b/docs/java/com/spotify/voyager/jni/Index.QueryResults.html
@@ -2,10 +2,10 @@
 <!-- NewPage -->
 <html lang="en">
 <head>
-<!-- Generated by javadoc (11.0.16.1) on Fri Oct 06 10:41:33 EDT 2023 -->
-<title>Index.QueryResults (voyager 2.0.0 API)</title>
+<!-- Generated by javadoc (11.0.16.1) on Tue Oct 17 14:55:31 EDT 2023 -->
+<title>Index.QueryResults (voyager 2.0.1 API)</title>
 <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
-<meta name="dc.created" content="2023-10-06">
+<meta name="dc.created" content="2023-10-17">
 <link rel="stylesheet" type="text/css" href="../../../../stylesheet.css" title="Style">
 <link rel="stylesheet" type="text/css" href="../../../../jquery/jquery-ui.css" title="Style">
 <script type="text/javascript" src="../../../../script.js"></script>
@@ -21,7 +21,7 @@
 <script type="text/javascript"><!--
     try {
         if (location.href.indexOf('is-external=true') == -1) {
-            parent.document.title="Index.QueryResults (voyager 2.0.0 API)";
+            parent.document.title="Index.QueryResults (voyager 2.0.1 API)";
         }
     }
     catch(err) {

diff --git a/docs/java/com/spotify/voyager/jni/Index.SpaceType.html b/docs/java/com/spotify/voyager/jni/Index.SpaceType.html
@@ -2,10 +2,10 @@
 <!-- NewPage -->
 <html lang="en">
 <head>
-<!-- Generated by javadoc (11.0.16.1) on Fri Oct 06 10:41:33 EDT 2023 -->
-<title>Index.SpaceType (voyager 2.0.0 API)</title>
+<!-- Generated by javadoc (11.0.16.1) on Tue Oct 17 14:55:31 EDT 2023 -->
+<title>Index.SpaceType (voyager 2.0.1 API)</title>
 <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
-<meta name="dc.created" content="2023-10-06">
+<meta name="dc.created" content="2023-10-17">
 <link rel="stylesheet" type="text/css" href="../../../../stylesheet.css" title="Style">
 <link rel="stylesheet" type="text/css" href="../../../../jquery/jquery-ui.css" title="Style">
 <script type="text/javascript" src="../../../../script.js"></script>
@@ -21,7 +21,7 @@
 <script type="text/javascript"><!--
     try {
         if (location.href.indexOf('is-external=true') == -1) {
-            parent.document.title="Index.SpaceType (voyager 2.0.0 API)";
+            parent.document.title="Index.SpaceType (voyager 2.0.1 API)";
         }
     }
     catch(err) {

diff --git a/docs/java/com/spotify/voyager/jni/Index.StorageDataType.html b/docs/java/com/spotify/voyager/jni/Index.StorageDataType.html
@@ -2,10 +2,10 @@
 <!-- NewPage -->
 <html lang="en">
 <head>
-<!-- Generated by javadoc (11.0.16.1) on Fri Oct 06 10:41:33 EDT 2023 -->
-<title>Index.StorageDataType (voyager 2.0.0 API)</title>
+<!-- Generated by javadoc (11.0.16.1) on Tue Oct 17 14:55:31 EDT 2023 -->
+<title>Index.StorageDataType (voyager 2.0.1 API)</title>
 <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
-<meta name="dc.created" content="2023-10-06">
+<meta name="dc.created" content="2023-10-17">
 <link rel="stylesheet" type="text/css" href="../../../../stylesheet.css" title="Style">
 <link rel="stylesheet" type="text/css" href="../../../../jquery/jquery-ui.css" title="Style">
 <script type="text/javascript" src="../../../../script.js"></script>
@@ -21,7 +21,7 @@
 <script type="text/javascript"><!--
     try {
         if (location.href.indexOf('is-external=true') == -1) {
-            parent.document.title="Index.StorageDataType (voyager 2.0.0 API)";
+            parent.document.title="Index.StorageDataType (voyager 2.0.1 API)";
         }
     }
     catch(err) {

diff --git a/docs/java/com/spotify/voyager/jni/Index.html b/docs/java/com/spotify/voyager/jni/Index.html
@@ -2,10 +2,10 @@
 <!-- NewPage -->
 <html lang="en">
 <head>
-<!-- Generated by javadoc (11.0.16.1) on Fri Oct 06 10:41:33 EDT 2023 -->
-<title>Index (voyager 2.0.0 API)</title>
+<!-- Generated by javadoc (11.0.16.1) on Tue Oct 17 14:55:31 EDT 2023 -->
+<title>Index (voyager 2.0.1 API)</title>
 <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
-<meta name="dc.created" content="2023-10-06">
+<meta name="dc.created" content="2023-10-17">
 <link rel="stylesheet" type="text/css" href="../../../../stylesheet.css" title="Style">
 <link rel="stylesheet" type="text/css" href="../../../../jquery/jquery-ui.css" title="Style">
 <script type="text/javascript" src="../../../../script.js"></script>
@@ -21,7 +21,7 @@
 <script type="text/javascript"><!--
     try {
         if (location.href.indexOf('is-external=true') == -1) {
-            parent.document.title="Index (voyager 2.0.0 API)";
+            parent.document.title="Index (voyager 2.0.1 API)";
         }
     }
     catch(err) {

diff --git a/docs/java/com/spotify/voyager/jni/StringIndex.QueryResults.html b/docs/java/com/spotify/voyager/jni/StringIndex.QueryResults.html
@@ -2,10 +2,10 @@
 <!-- NewPage -->
 <html lang="en">
 <head>
-<!-- Generated by javadoc (11.0.16.1) on Fri Oct 06 10:41:33 EDT 2023 -->
-<title>StringIndex.QueryResults (voyager 2.0.0 API)</title>
+<!-- Generated by javadoc (11.0.16.1) on Tue Oct 17 14:55:31 EDT 2023 -->
+<title>StringIndex.QueryResults (voyager 2.0.1 API)</title>
 <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
-<meta name="dc.created" content="2023-10-06">
+<meta name="dc.created" content="2023-10-17">
 <link rel="stylesheet" type="text/css" href="../../../../stylesheet.css" title="Style">
 <link rel="stylesheet" type="text/css" href="../../../../jquery/jquery-ui.css" title="Style">
 <script type="text/javascript" src="../../../../script.js"></script>
@@ -21,7 +21,7 @@
 <script type="text/javascript"><!--
     try {
         if (location.href.indexOf('is-external=true') == -1) {
-            parent.document.title="StringIndex.QueryResults (voyager 2.0.0 API)";
+            parent.document.title="StringIndex.QueryResults (voyager 2.0.1 API)";
         }
     }
     catch(err) {

diff --git a/docs/java/com/spotify/voyager/jni/StringIndex.html b/docs/java/com/spotify/voyager/jni/StringIndex.html
@@ -2,10 +2,10 @@
 <!-- NewPage -->
 <html lang="en">
 <head>
-<!-- Generated by javadoc (11.0.16.1) on Fri Oct 06 10:41:33 EDT 2023 -->
-<title>StringIndex (voyager 2.0.0 API)</title>
+<!-- Generated by javadoc (11.0.16.1) on Tue Oct 17 14:55:31 EDT 2023 -->
+<title>StringIndex (voyager 2.0.1 API)</title>
 <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
-<meta name="dc.created" content="2023-10-06">
+<meta name="dc.created" content="2023-10-17">
 <link rel="stylesheet" type="text/css" href="../../../../stylesheet.css" title="Style">
 <link rel="stylesheet" type="text/css" href="../../../../jquery/jquery-ui.css" title="Style">
 <script type="text/javascript" src="../../../../script.js"></script>
@@ -21,7 +21,7 @@
 <script type="text/javascript"><!--
     try {
         if (location.href.indexOf('is-external=true') == -1) {
-            parent.document.title="StringIndex (voyager 2.0.0 API)";
+            parent.document.title="StringIndex (voyager 2.0.1 API)";
         }
     }
     catch(err) {

diff --git a/docs/java/com/spotify/voyager/jni/class-use/Index.QueryResults.html b/docs/java/com/spotify/voyager/jni/class-use/Index.QueryResults.html
@@ -2,10 +2,10 @@
 <!-- NewPage -->
 <html lang="en">
 <head>
-<!-- Generated by javadoc (11.0.16.1) on Fri Oct 06 10:41:33 EDT 2023 -->
-<title>Uses of Class com.spotify.voyager.jni.Index.QueryResults (voyager 2.0.0 API)</title>
+<!-- Generated by javadoc (11.0.16.1) on Tue Oct 17 14:55:31 EDT 2023 -->
+<title>Uses of Class com.spotify.voyager.jni.Index.QueryResults (voyager 2.0.1 API)</title>
 <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
-<meta name="dc.created" content="2023-10-06">
+<meta name="dc.created" content="2023-10-17">
 <link rel="stylesheet" type="text/css" href="../../../../../stylesheet.css" title="Style">
 <link rel="stylesheet" type="text/css" href="../../../../../jquery/jquery-ui.css" title="Style">
 <script type="text/javascript" src="../../../../../script.js"></script>
@@ -21,7 +21,7 @@
 <script type="text/javascript"><!--
     try {
         if (location.href.indexOf('is-external=true') == -1) {
-            parent.document.title="Uses of Class com.spotify.voyager.jni.Index.QueryResults (voyager 2.0.0 API)";
+            parent.document.title="Uses of Class com.spotify.voyager.jni.Index.QueryResults (voyager 2.0.1 API)";
         }
     }
     catch(err) {

diff --git a/docs/java/com/spotify/voyager/jni/class-use/Index.SpaceType.html b/docs/java/com/spotify/voyager/jni/class-use/Index.SpaceType.html
@@ -2,10 +2,10 @@
 <!-- NewPage -->
 <html lang="en">
 <head>
-<!-- Generated by javadoc (11.0.16.1) on Fri Oct 06 10:41:33 EDT 2023 -->
-<title>Uses of Class com.spotify.voyager.jni.Index.SpaceType (voyager 2.0.0 API)</title>
+<!-- Generated by javadoc (11.0.16.1) on Tue Oct 17 14:55:31 EDT 2023 -->
+<title>Uses of Class com.spotify.voyager.jni.Index.SpaceType (voyager 2.0.1 API)</title>
 <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
-<meta name="dc.created" content="2023-10-06">
+<meta name="dc.created" content="2023-10-17">
 <link rel="stylesheet" type="text/css" href="../../../../../stylesheet.css" title="Style">
 <link rel="stylesheet" type="text/css" href="../../../../../jquery/jquery-ui.css" title="Style">
 <script type="text/javascript" src="../../../../../script.js"></script>
@@ -21,7 +21,7 @@
 <script type="text/javascript"><!--
     try {
         if (location.href.indexOf('is-external=true') == -1) {
-            parent.document.title="Uses of Class com.spotify.voyager.jni.Index.SpaceType (voyager 2.0.0 API)";
+            parent.document.title="Uses of Class com.spotify.voyager.jni.Index.SpaceType (voyager 2.0.1 API)";
         }
     }
     catch(err) {

diff --git a/docs/java/com/spotify/voyager/jni/class-use/Index.StorageDataType.html b/docs/java/com/spotify/voyager/jni/class-use/Index.StorageDataType.html
@@ -2,10 +2,10 @@
 <!-- NewPage -->
 <html lang="en">
 <head>
-<!-- Generated by javadoc (11.0.16.1) on Fri Oct 06 10:41:33 EDT 2023 -->
-<title>Uses of Class com.spotify.voyager.jni.Index.StorageDataType (voyager 2.0.0 API)</title>
+<!-- Generated by javadoc (11.0.16.1) on Tue Oct 17 14:55:31 EDT 2023 -->
+<title>Uses of Class com.spotify.voyager.jni.Index.StorageDataType (voyager 2.0.1 API)</title>
 <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
-<meta name="dc.created" content="2023-10-06">
+<meta name="dc.created" content="2023-10-17">
 <link rel="stylesheet" type="text/css" href="../../../../../stylesheet.css" title="Style">
 <link rel="stylesheet" type="text/css" href="../../../../../jquery/jquery-ui.css" title="Style">
 <script type="text/javascript" src="../../../../../script.js"></script>
@@ -21,7 +21,7 @@
 <script type="text/javascript"><!--
     try {
         if (location.href.indexOf('is-external=true') == -1) {
-            parent.document.title="Uses of Class com.spotify.voyager.jni.Index.StorageDataType (voyager 2.0.0 API)";
+            parent.document.title="Uses of Class com.spotify.voyager.jni.Index.StorageDataType (voyager 2.0.1 API)";
         }
     }
     catch(err) {

diff --git a/docs/java/com/spotify/voyager/jni/class-use/Index.html b/docs/java/com/spotify/voyager/jni/class-use/Index.html
@@ -2,10 +2,10 @@
 <!-- NewPage -->
 <html lang="en">
 <head>
-<!-- Generated by javadoc (11.0.16.1) on Fri Oct 06 10:41:33 EDT 2023 -->
-<title>Uses of Class com.spotify.voyager.jni.Index (voyager 2.0.0 API)</title>
+<!-- Generated by javadoc (11.0.16.1) on Tue Oct 17 14:55:31 EDT 2023 -->
+<title>Uses of Class com.spotify.voyager.jni.Index (voyager 2.0.1 API)</title>
 <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
-<meta name="dc.created" content="2023-10-06">
+<meta name="dc.created" content="2023-10-17">
 <link rel="stylesheet" type="text/css" href="../../../../../stylesheet.css" title="Style">
 <link rel="stylesheet" type="text/css" href="../../../../../jquery/jquery-ui.css" title="Style">
 <script type="text/javascript" src="../../../../../script.js"></script>
@@ -21,7 +21,7 @@
 <script type="text/javascript"><!--
     try {
         if (location.href.indexOf('is-external=true') == -1) {
-            parent.document.title="Uses of Class com.spotify.voyager.jni.Index (voyager 2.0.0 API)";
+            parent.document.title="Uses of Class com.spotify.voyager.jni.Index (voyager 2.0.1 API)";
         }
     }
     catch(err) {

diff --git a/docs/java/com/spotify/voyager/jni/class-use/StringIndex.QueryResults.html b/docs/java/com/spotify/voyager/jni/class-use/StringIndex.QueryResults.html
@@ -2,10 +2,10 @@
 <!-- NewPage -->
 <html lang="en">
 <head>
-<!-- Generated by javadoc (11.0.16.1) on Fri Oct 06 10:41:33 EDT 2023 -->
-<title>Uses of Class com.spotify.voyager.jni.StringIndex.QueryResults (voyager 2.0.0 API)</title>
+<!-- Generated by javadoc (11.0.16.1) on Tue Oct 17 14:55:31 EDT 2023 -->
+<title>Uses of Class com.spotify.voyager.jni.StringIndex.QueryResults (voyager 2.0.1 API)</title>
 <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
-<meta name="dc.created" content="2023-10-06">
+<meta name="dc.created" content="2023-10-17">
 <link rel="stylesheet" type="text/css" href="../../../../../stylesheet.css" title="Style">
 <link rel="stylesheet" type="text/css" href="../../../../../jquery/jquery-ui.css" title="Style">
 <script type="text/javascript" src="../../../../../script.js"></script>
@@ -21,7 +21,7 @@
 <script type="text/javascript"><!--
     try {
         if (location.href.indexOf('is-external=true') == -1) {
-            parent.document.title="Uses of Class com.spotify.voyager.jni.StringIndex.QueryResults (voyager 2.0.0 API)";
+            parent.document.title="Uses of Class com.spotify.voyager.jni.StringIndex.QueryResults (voyager 2.0.1 API)";
         }
     }
     catch(err) {

diff --git a/docs/java/com/spotify/voyager/jni/class-use/StringIndex.html b/docs/java/com/spotify/voyager/jni/class-use/StringIndex.html
@@ -2,10 +2,10 @@
 <!-- NewPage -->
 <html lang="en">
 <head>
-<!-- Generated by javadoc (11.0.16.1) on Fri Oct 06 10:41:33 EDT 2023 -->
-<title>Uses of Class com.spotify.voyager.jni.StringIndex (voyager 2.0.0 API)</title>
+<!-- Generated by javadoc (11.0.16.1) on Tue Oct 17 14:55:31 EDT 2023 -->
+<title>Uses of Class com.spotify.voyager.jni.StringIndex (voyager 2.0.1 API)</title>
 <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
-<meta name="dc.created" content="2023-10-06">
+<meta name="dc.created" content="2023-10-17">
 <link rel="stylesheet" type="text/css" href="../../../../../stylesheet.css" title="Style">
 <link rel="stylesheet" type="text/css" href="../../../../../jquery/jquery-ui.css" title="Style">
 <script type="text/javascript" src="../../../../../script.js"></script>
@@ -21,7 +21,7 @@
 <script type="text/javascript"><!--
     try {
         if (location.href.indexOf('is-external=true') == -1) {
-            parent.document.title="Uses of Class com.spotify.voyager.jni.StringIndex (voyager 2.0.0 API)";
+            parent.document.title="Uses of Class com.spotify.voyager.jni.StringIndex (voyager 2.0.1 API)";
         }
     }
     catch(err) {

diff --git a/docs/java/com/spotify/voyager/jni/package-summary.html b/docs/java/com/spotify/voyager/jni/package-summary.html
@@ -2,10 +2,10 @@
 <!-- NewPage -->
 <html lang="en">
 <head>
-<!-- Generated by javadoc (11.0.16.1) on Fri Oct 06 10:41:33 EDT 2023 -->
-<title>com.spotify.voyager.jni (voyager 2.0.0 API)</title>
+<!-- Generated by javadoc (11.0.16.1) on Tue Oct 17 14:55:31 EDT 2023 -->
+<title>com.spotify.voyager.jni (voyager 2.0.1 API)</title>
 <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
-<meta name="dc.created" content="2023-10-06">
+<meta name="dc.created" content="2023-10-17">
 <link rel="stylesheet" type="text/css" href="../../../../stylesheet.css" title="Style">
 <link rel="stylesheet" type="text/css" href="../../../../jquery/jquery-ui.css" title="Style">
 <script type="text/javascript" src="../../../../script.js"></script>
@@ -21,7 +21,7 @@
 <script type="text/javascript"><!--
     try {
         if (location.href.indexOf('is-external=true') == -1) {
-            parent.document.title="com.spotify.voyager.jni (voyager 2.0.0 API)";
+            parent.document.title="com.spotify.voyager.jni (voyager 2.0.1 API)";
         }
     }
     catch(err) {

diff --git a/docs/java/com/spotify/voyager/jni/package-tree.html b/docs/java/com/spotify/voyager/jni/package-tree.html
@@ -2,10 +2,10 @@
 <!-- NewPage -->
 <html lang="en">
 <head>
-<!-- Generated by javadoc (11.0.16.1) on Fri Oct 06 10:41:33 EDT 2023 -->
-<title>com.spotify.voyager.jni Class Hierarchy (voyager 2.0.0 API)</title>
+<!-- Generated by javadoc (11.0.16.1) on Tue Oct 17 14:55:31 EDT 2023 -->
+<title>com.spotify.voyager.jni Class Hierarchy (voyager 2.0.1 API)</title>
 <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
-<meta name="dc.created" content="2023-10-06">
+<meta name="dc.created" content="2023-10-17">
 <link rel="stylesheet" type="text/css" href="../../../../stylesheet.css" title="Style">
 <link rel="stylesheet" type="text/css" href="../../../../jquery/jquery-ui.css" title="Style">
 <script type="text/javascript" src="../../../../script.js"></script>
@@ -21,7 +21,7 @@
 <script type="text/javascript"><!--
     try {
         if (location.href.indexOf('is-external=true') == -1) {
-            parent.document.title="com.spotify.voyager.jni Class Hierarchy (voyager 2.0.0 API)";
+            parent.document.title="com.spotify.voyager.jni Class Hierarchy (voyager 2.0.1 API)";
         }
     }
     catch(err) {