[Users] remove "old" Tmunu interface

[Roland Haas]

Hello all,

> Major changes should happen immediately after a release, so that
> people working on trunk find all the bugs, and they don't end up in
> the release.  This doesn't usually happen, because people are "burnt
> out" after a release, and then procrastinate this sort of thing until
> they remember that there is a release coming, and maybe they should
> get their changes in...
Fine with me. I'll make a note to remove the functionality (very)
shortly after the release.

Yours,
Roland

-- 
My email is as private as my paper mail. I therefore support encrypting
and signing email messages. Get my PGP key from http://keys.gnupg.net.

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 262 bytes
Desc: OpenPGP digital signature
Url : http://lists.einsteintoolkit.org/pipermail/users/attachments/20131017/9192e1e6/attachment.bin