diff options
| author | Tavian Barnes <tavianator@gmail.com> | 2010-02-05 11:58:41 -0500 |
|---|---|---|
| committer | Tavian Barnes <tavianator@gmail.com> | 2010-02-05 11:58:41 -0500 |
| commit | 7eef42c72cc172a1ed8087e842905f42e737131d (patch) | |
| tree | f48e27bbb5cc74cc23b1f3fc5f87bf90256d4072 /dimension/common.terminals | |
| parent | 6db4b9c77718c0d5346301815283a6dcbe28689d (diff) | |
| download | dimension-7eef42c72cc172a1ed8087e842905f42e737131d.tar.xz | |
"Support" the #version directive.
Diffstat (limited to 'dimension/common.terminals')
| -rw-r--r-- | dimension/common.terminals | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dimension/common.terminals b/dimension/common.terminals index eaeeba3..9da3b42 100644 --- a/dimension/common.terminals +++ b/dimension/common.terminals @@ -513,7 +513,7 @@ %token DMNSN_T_STATISTICS %token DMNSN_T_SWITCH %token DMNSN_T_UNDEF "#undef" -%token DMNSN_T_VERSION +%token DMNSN_T_VERSION "#version" %token DMNSN_T_WARNING %token DMNSN_T_WHILE "#while" %token DMNSN_T_WRITE |