File: diff_webfilter.l

package info (click to toggle)
dict-gcide 0.44-2
  • links: PTS
  • area: main
  • in suites: woody
  • size: 59,496 kB
  • ctags: 2,052
  • sloc: asm: 53,717; fortran: 20,888; ansic: 8,030; sh: 1,441; lex: 1,342; makefile: 494; yacc: 443; perl: 235
file content (11 lines) | stat: -rw-r--r-- 638 bytes parent folder | download 
1
2
3
4
5
6
7
8
9
10
11
 
--- webfilter.l.orig    Wed Jun  9 21:40:06 1999
+++ webfilter.l Mon May 29 15:56:07 2000
@@ -140,8 +140,6 @@
                               if (dbg_test(DBG_DEBUG)) other(yytext,yyleng); }
 "</plu>"                    { src_advance(yyleng);
                               if (dbg_test(DBG_DEBUG)) other(yytext,yyleng); }
-"<cd>"                      { src_advance(yyleng);
-                              if (dbg_test(DBG_DEBUG)) other(yytext,yyleng); }
 "</cd>"                     { src_advance(yyleng);
                               if (dbg_test(DBG_DEBUG)) other(yytext,yyleng); }
 "<ex>"                      { src_advance(yyleng);