Sun, 13 Jul 2008 18:08:55 +0100 | anselm | applied anydot's urgency hint patch, thanks! | file | diff | annotate |
Thu, 03 Jul 2008 17:05:56 +0100 | Anselm R Garbe | renamed eprint die | file | diff | annotate |
Thu, 03 Jul 2008 10:58:35 +0100 | Anselm R Garbe | simplified detach() | file | diff | annotate |
Wed, 02 Jul 2008 11:54:36 +0100 | Anselm R Garbe | removed aux* stuff from Client | file | diff | annotate |