summaryrefslogtreecommitdiff
path: root/grammars/video/Channel/channel.gf
diff options
context:
space:
mode:
Diffstat (limited to 'grammars/video/Channel/channel.gf')
-rw-r--r--grammars/video/Channel/channel.gf23
1 files changed, 0 insertions, 23 deletions
diff --git a/grammars/video/Channel/channel.gf b/grammars/video/Channel/channel.gf
deleted file mode 100644
index 204860114..000000000
--- a/grammars/video/Channel/channel.gf
+++ /dev/null
@@ -1,23 +0,0 @@
-abstract channel = {
-
-cat
-Channel ;
-
-fun
---channel0 : Channel ;
-channel1 : Channel ;
-channel2 : Channel ;
-channel3 : Channel ;
-channel4 : Channel ;
-channel5 : Channel ;
-channel6 : Channel ;
-channel7 : Channel ;
-channel8 : Channel ;
-channel9 : Channel ;
-channel10 : Channel ;
-channel11 : Channel ;
-channel12 : Channel ;
-channel13 : Channel ;
-channel14 : Channel ;
-channel15 : Channel ;
-}