]> git.plutz.net Git - serve0/commit
quicker discard of unpaged items
authorPaul Hänsch <paul@plutz.net>
Mon, 24 Apr 2023 18:14:24 +0000 (20:14 +0200)
committerPaul Hänsch <paul@plutz.net>
Mon, 24 Apr 2023 18:14:24 +0000 (20:14 +0200)
commit38db3c5fe89c2bad97a0f10677a99d79c6509d2e
treed0b390b1edf1fc7cbd4a1444610b483037b5b741
parent79f7b16037814b55cf13213c8dbe116fca20525f
quicker discard of unpaged items
list.sh