darcs

Message4989

Author kowey
Recipients andreas.abel, beschmi, dagit, kowey, tommy
Date 2008-06-06.08:09:57
Issue Issue911 whatsnew shows: mv A -> B; rm A; add B
Content
Hi,

Assigning to myself to reproduce.

I'm still getting a 404 on http://www.tcs.ifi.lmu.de/~abel/Agda2-local-repo.tgz

Best,
History
Date User Action Args
2008-06-06 08:09:57koweycreate
2008-06-06 08:09:59koweylinkissue911 messages
2008-06-06 08:09:59koweysetrecipients: + kowey, tommy, beschmi, dagit, andreas.abel
2008-06-06 08:09:59koweysetmessageid: <1212739799.29.0.71020633407.issue911@darcs.net>