diff options
| author | kr.angelov <kr.angelov@gmail.com> | 2013-09-13 10:26:33 +0000 |
|---|---|---|
| committer | kr.angelov <kr.angelov@gmail.com> | 2013-09-13 10:26:33 +0000 |
| commit | df91908e636f10caabce39504cfd5d9f962d6711 (patch) | |
| tree | 07c822ff25a6737ce3ef8bed1f4ccfc83ca294ea /examples/tutorial/old/semantics/Base.gf | |
| parent | 4eb9aa391168180498f3b2185bd48adf062dd21c (diff) | |
the leftcorner indexing is now completely removed since it slowed down the loading without speeding up parsing a lot
Diffstat (limited to 'examples/tutorial/old/semantics/Base.gf')
0 files changed, 0 insertions, 0 deletions