diff options
| author | Pixel <pixel@nobis-crew.org> | 2013-07-22 16:05:40 -0700 | 
|---|---|---|
| committer | Pixel <pixel@nobis-crew.org> | 2013-07-22 16:05:40 -0700 | 
| commit | 0dd72f291afd89ed89112efbdbb04f53da4f084d (patch) | |
| tree | f2395292a138a5ed1647562fec20b1e2a0ee41e1 | |
| parent | 804886ec07e47a83d22b2471db15f8045e342d18 (diff) | |
| -rw-r--r-- | compil.lex | 2 | 
1 files changed, 1 insertions, 1 deletions
@@ -101,7 +101,7 @@          BEGIN(WWH);      } -<WWH>"height=\""[[:digit:]]+"\"/>"      { +<WWH>"height=\""[[:digit:]]+"\"/>\n"      {          int d = atoi(yytext + 8);          windows[current_ptr].h = d;          BEGIN(I);  | 
