So seemingly nobody has an account there.
Now what is the action to take:
A) do we find out who to ask how to get an account?
B) do we retire the site?
On 21 Jan 2014, at 09:50, Marcus Denker <marcus.denker@inria.fr> wrote:
⦠to delete 5 lines on a page.
Marcus
