Changed symbol_options to domain.
authorJens Vollinga <vollinga@thep.physik.uni-mainz.de>
Thu, 8 Jan 2004 18:53:36 +0000 (18:53 +0000)
committerJens Vollinga <vollinga@thep.physik.uni-mainz.de>
Thu, 8 Jan 2004 18:53:36 +0000 (18:53 +0000)
commit5b39fbbac3cb187af4c09146d11e7cc602be666b
tree5c0211dd977c1052056b4122f3d315b043186159
parent3c75f4ed241bb89f09fd27b9ec6cd7bd240c2cda
Changed symbol_options to domain.
ginsh/ginsh_lexer.ll
ginsh/ginsh_parser.yy