summaryrefslogtreecommitdiff
path: root/server
diff options
context:
space:
mode:
authorTimotej Lazar <timotej.lazar@araneo.org>2015-08-28 16:45:08 +0200
committerTimotej Lazar <timotej.lazar@araneo.org>2015-08-28 16:45:08 +0200
commitad7c5dbfea7730150f9e749349bee4e3db12af84 (patch)
treefc1219b86b87c627ff9b057a68ddcbdc87feb3c9 /server
parenta507fee954721ec1e79a5277e86f7a4a44ae1a77 (diff)
Fix regex for stripping internal Prolog engine IDs
Diffstat (limited to 'server')
0 files changed, 0 insertions, 0 deletions