Jan. 22, 2014
7:41 a.m.
I do have a login. What do you need me to delete? On 22.01.2014, at 08:26, Marcus Denker <marcus.denker@inria.fr> wrote:
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