diff options
| author | kr.angelov <kr.angelov@gmail.com> | 2013-12-17 14:57:30 +0000 |
|---|---|---|
| committer | kr.angelov <kr.angelov@gmail.com> | 2013-12-17 14:57:30 +0000 |
| commit | ee37c6d34d2cae7529342951256c25c0f7662730 (patch) | |
| tree | ce87a06091bee8cc00886fdc43defce4d2f5d9fc /src/server/exec | |
| parent | 0c53711a446e5969b0e11ab5f80a0c8f8de482dc (diff) | |
bugfix for grammar loading if the start and the target language happen to be the same
Diffstat (limited to 'src/server/exec')
0 files changed, 0 insertions, 0 deletions