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 | |
parent | a507fee954721ec1e79a5277e86f7a4a44ae1a77 (diff) |
Fix regex for stripping internal Prolog engine IDs
Diffstat (limited to 'server')
0 files changed, 0 insertions, 0 deletions