summaryrefslogtreecommitdiff
path: root/web/funnelweb/sources
diff options
context:
space:
mode:
authorNorbert Preining <norbert@preining.info>2019-09-02 13:46:59 +0900
committerNorbert Preining <norbert@preining.info>2019-09-02 13:46:59 +0900
commite0c6872cf40896c7be36b11dcc744620f10adf1d (patch)
tree60335e10d2f4354b0674ec22d7b53f0f8abee672 /web/funnelweb/sources
Initial commit
Diffstat (limited to 'web/funnelweb/sources')
-rw-r--r--web/funnelweb/sources/analyse.c.gzbin0 -> 3815 bytes
-rw-r--r--web/funnelweb/sources/analyse.h.gzbin0 -> 1055 bytes
-rw-r--r--web/funnelweb/sources/as.c.gzbin0 -> 877 bytes
-rw-r--r--web/funnelweb/sources/as.h.gzbin0 -> 2023 bytes
-rw-r--r--web/funnelweb/sources/clock.c.gzbin0 -> 1167 bytes
-rw-r--r--web/funnelweb/sources/clock.h.gzbin0 -> 1566 bytes
-rw-r--r--web/funnelweb/sources/command.c.gzbin0 -> 19266 bytes
-rw-r--r--web/funnelweb/sources/command.h.gzbin0 -> 1002 bytes
-rw-r--r--web/funnelweb/sources/data.c.gzbin0 -> 818 bytes
-rw-r--r--web/funnelweb/sources/data.h.gzbin0 -> 7202 bytes
-rw-r--r--web/funnelweb/sources/dump.c.gzbin0 -> 6265 bytes
-rw-r--r--web/funnelweb/sources/dump.h.gzbin0 -> 1102 bytes
-rw-r--r--web/funnelweb/sources/environ.h.gzbin0 -> 3447 bytes
-rw-r--r--web/funnelweb/sources/help.c.gzbin0 -> 8954 bytes
-rw-r--r--web/funnelweb/sources/help.h.gzbin0 -> 2625 bytes
-rw-r--r--web/funnelweb/sources/help_gnu.c.gzbin0 -> 1695 bytes
-rw-r--r--web/funnelweb/sources/help_gnu.ctx.gzbin0 -> 7069 bytes
-rw-r--r--web/funnelweb/sources/help_gnu.h.gzbin0 -> 935 bytes
-rw-r--r--web/funnelweb/sources/help_gnu.txt.gzbin0 -> 6817 bytes
-rw-r--r--web/funnelweb/sources/list.c.gzbin0 -> 3069 bytes
-rw-r--r--web/funnelweb/sources/list.h.gzbin0 -> 3711 bytes
-rw-r--r--web/funnelweb/sources/lister.c.gzbin0 -> 3829 bytes
-rw-r--r--web/funnelweb/sources/lister.h.gzbin0 -> 1295 bytes
-rw-r--r--web/funnelweb/sources/machin.c.gzbin0 -> 4018 bytes
-rw-r--r--web/funnelweb/sources/machin.h.gzbin0 -> 4355 bytes
-rw-r--r--web/funnelweb/sources/main.c.gzbin0 -> 1618 bytes
-rw-r--r--web/funnelweb/sources/mapper.c.gzbin0 -> 5394 bytes
-rw-r--r--web/funnelweb/sources/mapper.h.gzbin0 -> 1344 bytes
-rw-r--r--web/funnelweb/sources/memory.c.gzbin0 -> 4820 bytes
-rw-r--r--web/funnelweb/sources/memory.h.gzbin0 -> 2001 bytes
-rw-r--r--web/funnelweb/sources/misc.c.gzbin0 -> 2144 bytes
-rw-r--r--web/funnelweb/sources/misc.h.gzbin0 -> 1882 bytes
-rw-r--r--web/funnelweb/sources/option.c.gzbin0 -> 3779 bytes
-rw-r--r--web/funnelweb/sources/option.h.gzbin0 -> 2701 bytes
-rw-r--r--web/funnelweb/sources/parser.c.gzbin0 -> 12634 bytes
-rw-r--r--web/funnelweb/sources/parser.h.gzbin0 -> 1088 bytes
-rw-r--r--web/funnelweb/sources/scanner.c.gzbin0 -> 17304 bytes
-rw-r--r--web/funnelweb/sources/scanner.h.gzbin0 -> 1181 bytes
-rw-r--r--web/funnelweb/sources/section.c.gzbin0 -> 1448 bytes
-rw-r--r--web/funnelweb/sources/section.h.gzbin0 -> 2002 bytes
-rw-r--r--web/funnelweb/sources/style.h.gzbin0 -> 4216 bytes
-rw-r--r--web/funnelweb/sources/table.c.gzbin0 -> 4388 bytes
-rw-r--r--web/funnelweb/sources/table.h.gzbin0 -> 3357 bytes
-rw-r--r--web/funnelweb/sources/tangle.c.gzbin0 -> 5784 bytes
-rw-r--r--web/funnelweb/sources/tangle.h.gzbin0 -> 836 bytes
-rw-r--r--web/funnelweb/sources/texhead.c.gzbin0 -> 1761 bytes
-rw-r--r--web/funnelweb/sources/texhead.ctx.gzbin0 -> 5179 bytes
-rw-r--r--web/funnelweb/sources/texhead.h.gzbin0 -> 2208 bytes
-rw-r--r--web/funnelweb/sources/texhead.tex.gzbin0 -> 4994 bytes
-rw-r--r--web/funnelweb/sources/weave.c.gzbin0 -> 7749 bytes
-rw-r--r--web/funnelweb/sources/weave.h.gzbin0 -> 822 bytes
-rw-r--r--web/funnelweb/sources/writfile.c.gzbin0 -> 3003 bytes
-rw-r--r--web/funnelweb/sources/writfile.h.gzbin0 -> 3122 bytes
53 files changed, 0 insertions, 0 deletions
diff --git a/web/funnelweb/sources/analyse.c.gz b/web/funnelweb/sources/analyse.c.gz
new file mode 100644
index 0000000000..7230c962cd
--- /dev/null
+++ b/web/funnelweb/sources/analyse.c.gz
Binary files differ
diff --git a/web/funnelweb/sources/analyse.h.gz b/web/funnelweb/sources/analyse.h.gz
new file mode 100644
index 0000000000..7fd7290599
--- /dev/null
+++ b/web/funnelweb/sources/analyse.h.gz
Binary files differ
diff --git a/web/funnelweb/sources/as.c.gz b/web/funnelweb/sources/as.c.gz
new file mode 100644
index 0000000000..c9eefd08a7
--- /dev/null
+++ b/web/funnelweb/sources/as.c.gz
Binary files differ
diff --git a/web/funnelweb/sources/as.h.gz b/web/funnelweb/sources/as.h.gz
new file mode 100644
index 0000000000..d75bb2b89c
--- /dev/null
+++ b/web/funnelweb/sources/as.h.gz
Binary files differ
diff --git a/web/funnelweb/sources/clock.c.gz b/web/funnelweb/sources/clock.c.gz
new file mode 100644
index 0000000000..83f4599ffa
--- /dev/null
+++ b/web/funnelweb/sources/clock.c.gz
Binary files differ
diff --git a/web/funnelweb/sources/clock.h.gz b/web/funnelweb/sources/clock.h.gz
new file mode 100644
index 0000000000..8c2f479ab6
--- /dev/null
+++ b/web/funnelweb/sources/clock.h.gz
Binary files differ
diff --git a/web/funnelweb/sources/command.c.gz b/web/funnelweb/sources/command.c.gz
new file mode 100644
index 0000000000..08d4814a96
--- /dev/null
+++ b/web/funnelweb/sources/command.c.gz
Binary files differ
diff --git a/web/funnelweb/sources/command.h.gz b/web/funnelweb/sources/command.h.gz
new file mode 100644
index 0000000000..6eea76e3e0
--- /dev/null
+++ b/web/funnelweb/sources/command.h.gz
Binary files differ
diff --git a/web/funnelweb/sources/data.c.gz b/web/funnelweb/sources/data.c.gz
new file mode 100644
index 0000000000..9ea8ae1250
--- /dev/null
+++ b/web/funnelweb/sources/data.c.gz
Binary files differ
diff --git a/web/funnelweb/sources/data.h.gz b/web/funnelweb/sources/data.h.gz
new file mode 100644
index 0000000000..c8eb716fe8
--- /dev/null
+++ b/web/funnelweb/sources/data.h.gz
Binary files differ
diff --git a/web/funnelweb/sources/dump.c.gz b/web/funnelweb/sources/dump.c.gz
new file mode 100644
index 0000000000..e62777c74a
--- /dev/null
+++ b/web/funnelweb/sources/dump.c.gz
Binary files differ
diff --git a/web/funnelweb/sources/dump.h.gz b/web/funnelweb/sources/dump.h.gz
new file mode 100644
index 0000000000..cb75ded2bf
--- /dev/null
+++ b/web/funnelweb/sources/dump.h.gz
Binary files differ
diff --git a/web/funnelweb/sources/environ.h.gz b/web/funnelweb/sources/environ.h.gz
new file mode 100644
index 0000000000..286b30732f
--- /dev/null
+++ b/web/funnelweb/sources/environ.h.gz
Binary files differ
diff --git a/web/funnelweb/sources/help.c.gz b/web/funnelweb/sources/help.c.gz
new file mode 100644
index 0000000000..0c03b245e6
--- /dev/null
+++ b/web/funnelweb/sources/help.c.gz
Binary files differ
diff --git a/web/funnelweb/sources/help.h.gz b/web/funnelweb/sources/help.h.gz
new file mode 100644
index 0000000000..2f0788f22b
--- /dev/null
+++ b/web/funnelweb/sources/help.h.gz
Binary files differ
diff --git a/web/funnelweb/sources/help_gnu.c.gz b/web/funnelweb/sources/help_gnu.c.gz
new file mode 100644
index 0000000000..9713503e78
--- /dev/null
+++ b/web/funnelweb/sources/help_gnu.c.gz
Binary files differ
diff --git a/web/funnelweb/sources/help_gnu.ctx.gz b/web/funnelweb/sources/help_gnu.ctx.gz
new file mode 100644
index 0000000000..2f7c08d5b3
--- /dev/null
+++ b/web/funnelweb/sources/help_gnu.ctx.gz
Binary files differ
diff --git a/web/funnelweb/sources/help_gnu.h.gz b/web/funnelweb/sources/help_gnu.h.gz
new file mode 100644
index 0000000000..d2fff495bf
--- /dev/null
+++ b/web/funnelweb/sources/help_gnu.h.gz
Binary files differ
diff --git a/web/funnelweb/sources/help_gnu.txt.gz b/web/funnelweb/sources/help_gnu.txt.gz
new file mode 100644
index 0000000000..a940894c1b
--- /dev/null
+++ b/web/funnelweb/sources/help_gnu.txt.gz
Binary files differ
diff --git a/web/funnelweb/sources/list.c.gz b/web/funnelweb/sources/list.c.gz
new file mode 100644
index 0000000000..8c04d61fb9
--- /dev/null
+++ b/web/funnelweb/sources/list.c.gz
Binary files differ
diff --git a/web/funnelweb/sources/list.h.gz b/web/funnelweb/sources/list.h.gz
new file mode 100644
index 0000000000..e10c92a6d0
--- /dev/null
+++ b/web/funnelweb/sources/list.h.gz
Binary files differ
diff --git a/web/funnelweb/sources/lister.c.gz b/web/funnelweb/sources/lister.c.gz
new file mode 100644
index 0000000000..e9614920f0
--- /dev/null
+++ b/web/funnelweb/sources/lister.c.gz
Binary files differ
diff --git a/web/funnelweb/sources/lister.h.gz b/web/funnelweb/sources/lister.h.gz
new file mode 100644
index 0000000000..025d1f7e7d
--- /dev/null
+++ b/web/funnelweb/sources/lister.h.gz
Binary files differ
diff --git a/web/funnelweb/sources/machin.c.gz b/web/funnelweb/sources/machin.c.gz
new file mode 100644
index 0000000000..9f399180a4
--- /dev/null
+++ b/web/funnelweb/sources/machin.c.gz
Binary files differ
diff --git a/web/funnelweb/sources/machin.h.gz b/web/funnelweb/sources/machin.h.gz
new file mode 100644
index 0000000000..0644c26bf2
--- /dev/null
+++ b/web/funnelweb/sources/machin.h.gz
Binary files differ
diff --git a/web/funnelweb/sources/main.c.gz b/web/funnelweb/sources/main.c.gz
new file mode 100644
index 0000000000..69f3fff3af
--- /dev/null
+++ b/web/funnelweb/sources/main.c.gz
Binary files differ
diff --git a/web/funnelweb/sources/mapper.c.gz b/web/funnelweb/sources/mapper.c.gz
new file mode 100644
index 0000000000..3279adeccf
--- /dev/null
+++ b/web/funnelweb/sources/mapper.c.gz
Binary files differ
diff --git a/web/funnelweb/sources/mapper.h.gz b/web/funnelweb/sources/mapper.h.gz
new file mode 100644
index 0000000000..afbd8f8c36
--- /dev/null
+++ b/web/funnelweb/sources/mapper.h.gz
Binary files differ
diff --git a/web/funnelweb/sources/memory.c.gz b/web/funnelweb/sources/memory.c.gz
new file mode 100644
index 0000000000..13269ac508
--- /dev/null
+++ b/web/funnelweb/sources/memory.c.gz
Binary files differ
diff --git a/web/funnelweb/sources/memory.h.gz b/web/funnelweb/sources/memory.h.gz
new file mode 100644
index 0000000000..39cb035ba7
--- /dev/null
+++ b/web/funnelweb/sources/memory.h.gz
Binary files differ
diff --git a/web/funnelweb/sources/misc.c.gz b/web/funnelweb/sources/misc.c.gz
new file mode 100644
index 0000000000..e6174c4858
--- /dev/null
+++ b/web/funnelweb/sources/misc.c.gz
Binary files differ
diff --git a/web/funnelweb/sources/misc.h.gz b/web/funnelweb/sources/misc.h.gz
new file mode 100644
index 0000000000..7f9a99db3b
--- /dev/null
+++ b/web/funnelweb/sources/misc.h.gz
Binary files differ
diff --git a/web/funnelweb/sources/option.c.gz b/web/funnelweb/sources/option.c.gz
new file mode 100644
index 0000000000..c0266949a8
--- /dev/null
+++ b/web/funnelweb/sources/option.c.gz
Binary files differ
diff --git a/web/funnelweb/sources/option.h.gz b/web/funnelweb/sources/option.h.gz
new file mode 100644
index 0000000000..b13deadd69
--- /dev/null
+++ b/web/funnelweb/sources/option.h.gz
Binary files differ
diff --git a/web/funnelweb/sources/parser.c.gz b/web/funnelweb/sources/parser.c.gz
new file mode 100644
index 0000000000..0cf477ccb4
--- /dev/null
+++ b/web/funnelweb/sources/parser.c.gz
Binary files differ
diff --git a/web/funnelweb/sources/parser.h.gz b/web/funnelweb/sources/parser.h.gz
new file mode 100644
index 0000000000..2f21d48401
--- /dev/null
+++ b/web/funnelweb/sources/parser.h.gz
Binary files differ
diff --git a/web/funnelweb/sources/scanner.c.gz b/web/funnelweb/sources/scanner.c.gz
new file mode 100644
index 0000000000..02b06e5c16
--- /dev/null
+++ b/web/funnelweb/sources/scanner.c.gz
Binary files differ
diff --git a/web/funnelweb/sources/scanner.h.gz b/web/funnelweb/sources/scanner.h.gz
new file mode 100644
index 0000000000..1c5ebfcfae
--- /dev/null
+++ b/web/funnelweb/sources/scanner.h.gz
Binary files differ
diff --git a/web/funnelweb/sources/section.c.gz b/web/funnelweb/sources/section.c.gz
new file mode 100644
index 0000000000..7f13c82709
--- /dev/null
+++ b/web/funnelweb/sources/section.c.gz
Binary files differ
diff --git a/web/funnelweb/sources/section.h.gz b/web/funnelweb/sources/section.h.gz
new file mode 100644
index 0000000000..6a89047207
--- /dev/null
+++ b/web/funnelweb/sources/section.h.gz
Binary files differ
diff --git a/web/funnelweb/sources/style.h.gz b/web/funnelweb/sources/style.h.gz
new file mode 100644
index 0000000000..78b5d17d60
--- /dev/null
+++ b/web/funnelweb/sources/style.h.gz
Binary files differ
diff --git a/web/funnelweb/sources/table.c.gz b/web/funnelweb/sources/table.c.gz
new file mode 100644
index 0000000000..35218ffaf9
--- /dev/null
+++ b/web/funnelweb/sources/table.c.gz
Binary files differ
diff --git a/web/funnelweb/sources/table.h.gz b/web/funnelweb/sources/table.h.gz
new file mode 100644
index 0000000000..f2b2fd79aa
--- /dev/null
+++ b/web/funnelweb/sources/table.h.gz
Binary files differ
diff --git a/web/funnelweb/sources/tangle.c.gz b/web/funnelweb/sources/tangle.c.gz
new file mode 100644
index 0000000000..0de5d23858
--- /dev/null
+++ b/web/funnelweb/sources/tangle.c.gz
Binary files differ
diff --git a/web/funnelweb/sources/tangle.h.gz b/web/funnelweb/sources/tangle.h.gz
new file mode 100644
index 0000000000..d60b08920f
--- /dev/null
+++ b/web/funnelweb/sources/tangle.h.gz
Binary files differ
diff --git a/web/funnelweb/sources/texhead.c.gz b/web/funnelweb/sources/texhead.c.gz
new file mode 100644
index 0000000000..87f209721b
--- /dev/null
+++ b/web/funnelweb/sources/texhead.c.gz
Binary files differ
diff --git a/web/funnelweb/sources/texhead.ctx.gz b/web/funnelweb/sources/texhead.ctx.gz
new file mode 100644
index 0000000000..7c071e2a80
--- /dev/null
+++ b/web/funnelweb/sources/texhead.ctx.gz
Binary files differ
diff --git a/web/funnelweb/sources/texhead.h.gz b/web/funnelweb/sources/texhead.h.gz
new file mode 100644
index 0000000000..bf623683a5
--- /dev/null
+++ b/web/funnelweb/sources/texhead.h.gz
Binary files differ
diff --git a/web/funnelweb/sources/texhead.tex.gz b/web/funnelweb/sources/texhead.tex.gz
new file mode 100644
index 0000000000..11e2734983
--- /dev/null
+++ b/web/funnelweb/sources/texhead.tex.gz
Binary files differ
diff --git a/web/funnelweb/sources/weave.c.gz b/web/funnelweb/sources/weave.c.gz
new file mode 100644
index 0000000000..c4ffe2b601
--- /dev/null
+++ b/web/funnelweb/sources/weave.c.gz
Binary files differ
diff --git a/web/funnelweb/sources/weave.h.gz b/web/funnelweb/sources/weave.h.gz
new file mode 100644
index 0000000000..efe26132df
--- /dev/null
+++ b/web/funnelweb/sources/weave.h.gz
Binary files differ
diff --git a/web/funnelweb/sources/writfile.c.gz b/web/funnelweb/sources/writfile.c.gz
new file mode 100644
index 0000000000..f1375475c2
--- /dev/null
+++ b/web/funnelweb/sources/writfile.c.gz
Binary files differ
diff --git a/web/funnelweb/sources/writfile.h.gz b/web/funnelweb/sources/writfile.h.gz
new file mode 100644
index 0000000000..449a5b8fbd
--- /dev/null
+++ b/web/funnelweb/sources/writfile.h.gz
Binary files differ