gitignore new build file
authorng0 <ng0@n0.is>
Sun, 24 Nov 2019 19:15:53 +0000 (19:15 +0000)
committerng0 <ng0@n0.is>
Sun, 24 Nov 2019 19:15:53 +0000 (19:15 +0000)
doc/tutorial/.gitignore [new file with mode: 0644]

diff --git a/doc/tutorial/.gitignore b/doc/tutorial/.gitignore
new file mode 100644 (file)
index 0000000..11bb207
--- /dev/null
@@ -0,0 +1,11 @@
+stamp-1
+version2.texi
+tutorial
+*.fn
+*.fns
+*.ky
+*.pg
+*.tp
+*.vr
+tutorial
+tutorial.html