diff options
| author | kr.angelov <kr.angelov@gmail.com> | 2013-12-17 13:57:16 +0000 |
|---|---|---|
| committer | kr.angelov <kr.angelov@gmail.com> | 2013-12-17 13:57:16 +0000 |
| commit | a01e248ae61ec287908a976f6ff9afd41a80ad86 (patch) | |
| tree | 204c55fdab9ccbac3104d86df9019ebd238aa722 /src/ui | |
| parent | e0481e3b8a8b6de306cff4c0645c6d19ae443e9a (diff) | |
make sure that pgf_concrete_load has no effect on grammars that are completely loaded
Diffstat (limited to 'src/ui')
0 files changed, 0 insertions, 0 deletions