autopushed

2026-08-07 23:16:21 +00:00 · 2022-11-14 21:52:12 +01:00
parent 9a1cd85f34
commit c7205a17dd
1 changed files with 1 additions and 0 deletions
@@ -18,4 +18,5 @@
        - two published in conferences
        - one in preprint online (with [[ragnar]])
          - it's growing, but it should also shrink :)
+          - maybe could merge three different definitions into one