diff options
author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2008-08-14T10·14+0000 |
---|---|---|
committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2008-08-14T10·14+0000 |
commit | e8188384129bda7c8cdd5e17023ab05047551e6e (patch) | |
tree | 7b40bce45285a1113498d1acd2c1f814909a146a /src/libexpr/names.hh | |
parent | efe4b690ae4de5f0adea99abb1176a64a099d433 (diff) |
* "pattern" non-terminal.
Diffstat (limited to 'src/libexpr/names.hh')
0 files changed, 0 insertions, 0 deletions