diff options
| author | Robin Haberkorn <robin.haberkorn@googlemail.com> | 2014-11-10 15:05:55 +0100 |
|---|---|---|
| committer | Robin Haberkorn <robin.haberkorn@googlemail.com> | 2014-11-10 15:05:55 +0100 |
| commit | 98d1948ac459d19d7ac28f5e8b652f2709df175f (patch) | |
| tree | 05b21ae3e1944f8ead91426d25afc8f672b2ddc9 /src/symbols-minimal.cpp | |
| parent | a8411ad5dca4cf7d5a796028ee98a0471bad5447 (diff) | |
clarified conditions when <;> should yield an error
Diffstat (limited to 'src/symbols-minimal.cpp')
0 files changed, 0 insertions, 0 deletions