dunlin

Unnamed repository; edit this file 'description' to name the repository.
Log | Files | Refs | README | LICENSE
commit 64546203077060747d80e2aecdc5edd65692bf88
parent 454f9ae094a9b5d210036cf763bbdce4aa1468a2
Author: Daniel Barlow <dan@telent.net>
Date:   Thu, 29 Dec 2022 17:34:51 +0000

ignore generated file

Diffstat:

A.gitignore | 1+


1 file changed, 1 insertion(+), 0 deletions(-)

diff --git a/.gitignore b/.gitignore
@@ -0,0 +1 @@
+doc/index.html