diff options
| author | Timotej Lazar <timotej.lazar@araneo.org> | 2015-08-28 16:45:08 +0200 |
|---|---|---|
| committer | Timotej Lazar <timotej.lazar@araneo.org> | 2015-08-28 16:45:08 +0200 |
| commit | ad7c5dbfea7730150f9e749349bee4e3db12af84 (patch) | |
| tree | fc1219b86b87c627ff9b057a68ddcbdc87feb3c9 /server/prolog_session.py | |
| parent | a507fee954721ec1e79a5277e86f7a4a44ae1a77 (diff) | |
Fix regex for stripping internal Prolog engine IDs
Diffstat (limited to 'server/prolog_session.py')
0 files changed, 0 insertions, 0 deletions