diff options
| author | Timotej Lazar <timotej.lazar@araneo.org> | 2015-02-04 15:50:59 +0100 |
|---|---|---|
| committer | Aleš Smodiš <aless@guru.si> | 2015-08-11 14:26:01 +0200 |
| commit | 3c1153e608ad5da8d06f7c5a2e260dea90f91495 (patch) | |
| tree | 44ac58b90a55ddb8d378ca25d91f0fbdef9f2777 /prolog/util.py | |
| parent | ae0890f51a2e312f8ce159d34c646af91e762ecf (diff) | |
Initial error marking support
Some cleanups in monkey.monkey. Need better namespacing. Basic
postprocessing (merge edits to same line).
Diffstat (limited to 'prolog/util.py')
0 files changed, 0 insertions, 0 deletions