]> gitweb.factorcode.org Git - factor.git/commitdiff
help.tour: add metadata
authorrazetime <raghuallthetime@hotmail.com>
Tue, 6 Dec 2022 04:43:21 +0000 (10:13 +0530)
committerrazetime <raghuallthetime@hotmail.com>
Tue, 6 Dec 2022 04:43:21 +0000 (10:13 +0530)
extra/help/tour/authors.txt [new file with mode: 0644]
extra/help/tour/summary.txt [new file with mode: 0644]
extra/help/tour/tags.txt [new file with mode: 0644]

diff --git a/extra/help/tour/authors.txt b/extra/help/tour/authors.txt
new file mode 100644 (file)
index 0000000..3b7544f
--- /dev/null
@@ -0,0 +1,2 @@
+Andrea Ferretti
+Raghu Ranganathan
diff --git a/extra/help/tour/summary.txt b/extra/help/tour/summary.txt
new file mode 100644 (file)
index 0000000..93a580b
--- /dev/null
@@ -0,0 +1 @@
+A tour of factor's most prominent features
diff --git a/extra/help/tour/tags.txt b/extra/help/tour/tags.txt
new file mode 100644 (file)
index 0000000..0d9648a
--- /dev/null
@@ -0,0 +1,2 @@
+tutorial
+intro