diff src/swipl/http_openid.pl @ 67:1d3b52f93d8c

Added caption to help keep track of SCREEN sessions.
author samer
date Fri, 14 Aug 2015 16:29:00 +0100
parents c7720fefea26
children
line wrap: on
line diff