Change DOCOPTIONS pragma to DOC_OPTIONS
authorDavid Waern <davve@dtek.chalmers.se>
Tue, 2 Oct 2007 14:38:49 +0000 (14:38 +0000)
committerDavid Waern <davve@dtek.chalmers.se>
Tue, 2 Oct 2007 14:38:49 +0000 (14:38 +0000)
commite850f6914657190baf65db55c2fdecee2d38bee1
tree4aba47cba176a6881b503be95d060c7ff2a9f5eb
parent5ccedd80f734c4e2d3789f399880b589dec8c70e
Change DOCOPTIONS pragma to DOC_OPTIONS

MERGE TO STABLE
compiler/parser/Lexer.x