chiark / gitweb /
remove a thing that ought to have been deleted
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Thu, 12 Oct 2023 20:59:31 +0000 (21:59 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Thu, 12 Oct 2023 20:59:31 +0000 (21:59 +0100)
commit7d69bd9ed13b58111a6b16cb825a603daa611424
tree677de1a9312080c87c1d75d4e050942a9654b169
parentc45a5605c515ddf998c1753471d781f8b719fb1b
remove a thing that ought to have been deleted
fabricia.md