instant team mailing list archive

["Martin Sandve Alnæs" <martinal@xxxxxxxxx>]

How do you get this? /tmp/instant isn't used anymore.

-- 
Martin


2008/9/4 Anders Logg <logg@xxxxxxxxx>:
> rm: kan inte ta bort "/tmp/instant": Filen eller katalogen finns inte
>
> --
> Anders
>
> -----BEGIN PGP SIGNATURE-----
> Version: GnuPG v1.4.6 (GNU/Linux)
>
> iD8DBQFIv++uTuwUCDsYZdERAmccAJ0atYM01pw4KufLPKrm2KhCBMVYbwCfcoYe
> dZAl7IJgTPXeb/BrBEn3Fgs=
> =9/qn
> -----END PGP SIGNATURE-----
>
> _______________________________________________
> Instant-dev mailing list
> Instant-dev@xxxxxxxxxx
> http://fenics.org/mailman/listinfo/instant-dev
>
>