Release 1.0.2

INL · Jun 12, 2024 · 2c9d65e · 2c9d65e
2 parents 90e8d00 + 34e28f0
commit 2c9d65e
Show file tree

Hide file tree

Showing 7 changed files with 14 additions and 15 deletions.
diff --git a/codemeta-harvest.json b/codemeta-harvest.json
diff --git a/deploy.sh b/deploy.sh
diff --git a/...N-1400-1600-lemma-2024_06_03-15_48_16.tar → ...N-1400-1600-lemma-2024_06_10-16_46_41.tar b/...N-1400-1600-lemma-2024_06_03-15_48_16.tar → ...N-1400-1600-lemma-2024_06_10-16_46_41.tar
diff --git a/...0/TDN-17-19-lemma-2024_06_03-15_10_49.tar → ...N-1600-1900-lemma-2024_06_11-10_16_16.tar b/...0/TDN-17-19-lemma-2024_06_03-15_10_49.tar → ...N-1600-1900-lemma-2024_06_11-10_16_16.tar
diff --git a/...ALL/TDN-ALL-lemma-2024_06_03-18_56_53.tar → ...ALL/TDN-ALL-lemma-2024_06_11-15_21_13.tar b/...ALL/TDN-ALL-lemma-2024_06_03-18_56_53.tar → ...ALL/TDN-ALL-lemma-2024_06_11-15_21_13.tar
diff --git a/.../TDN-DBNLDQ-lemma-2024_06_03-17_14_10.tar → .../TDN-DBNLDQ-lemma-2024_06_11-11_12_04.tar b/.../TDN-DBNLDQ-lemma-2024_06_03-17_14_10.tar → .../TDN-DBNLDQ-lemma-2024_06_11-11_12_04.tar
diff --git a/readme.md b/readme.md