| commit | 1d3decd83e8b6945532a7c513392dc6560c1417b | [log] [tgz] |
|---|---|---|
| author | mihajlov <mihajlov> | Fri Sep 23 12:16:08 2005 +0000 |
| committer | mihajlov <mihajlov> | Fri Sep 23 12:16:08 2005 +0000 |
| tree | b96b4305f455541dd77690cca547eaa50fd58836 | |
| parent | ed30f3bb0b012dd1b4f119b617a3025f2b9237a5 [diff] |
Removed superfluous productions.