]> git.plutz.net Git - serve0/commit
improved update heuristics
authorPaul Hänsch <paul@plutz.net>
Tue, 4 Jun 2019 15:37:36 +0000 (17:37 +0200)
committerPaul Hänsch <paul@plutz.net>
Tue, 4 Jun 2019 15:37:36 +0000 (17:37 +0200)
commit83ae7baa92d4bf2010666435813bb965f7c71561
tree75aba9ab3939c27440710ebecfb088b860c12ef4
parentfe22bb1e8fc7e116cd165ebeba90361e740b0989
improved update heuristics
index.cgi
indexmeta.sh