diff options
Diffstat (limited to 'grammars/video/Channel/channel.gf')
| -rw-r--r-- | grammars/video/Channel/channel.gf | 23 |
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 ; -} |
