diff --git a/docsets/polars/docset.json b/docsets/polars/docset.json index fb85381b59..a725912bb3 100644 --- a/docsets/polars/docset.json +++ b/docsets/polars/docset.json @@ -1,6 +1,6 @@ { "name": "polars", - "version": "0.18.1", + "version": "0.18.4", "archive": "polars.tgz", "author": { "name": "Paulo S. Costa", diff --git a/docsets/polars/icon.png b/docsets/polars/icon.png index ef3d06517d..8c199c888c 100644 Binary files a/docsets/polars/icon.png and b/docsets/polars/icon.png differ diff --git a/docsets/polars/icon@2x.png b/docsets/polars/icon@2x.png index 97add50c2a..b12f9f8fc5 100644 Binary files a/docsets/polars/icon@2x.png and b/docsets/polars/icon@2x.png differ diff --git a/docsets/polars/polars.tgz b/docsets/polars/polars.tgz new file mode 100644 index 0000000000..beb7ae2b9d Binary files /dev/null and b/docsets/polars/polars.tgz differ diff --git a/docsets/polars/polars.tgz.txt b/docsets/polars/polars.tgz.txt deleted file mode 100644 index b26c5290ed..0000000000 --- a/docsets/polars/polars.tgz.txt +++ /dev/null @@ -1,6 +0,0 @@ -Archive "polars.tgz" was processed at this location, pushed to the CDN and completely removed from git. - -Date: 2023-06-09 21:21:30 +0000 -SHA1: 993388279bfd5a9476925eb436c38f2da66efe4b - -Note: This file is just a txt file, nothing more. It does not act as a placeholder for the original archive. Deleting, moving or renaming this file does nothing. \ No newline at end of file