Lars Madsen <[email protected]> writes: > related, is there a build in feature for deleting a given env? > > This is sometimes handy when editing other peoples work. (some people are > very messy)
this would be a good idea... -- :: Igor Sosa Mayor :: [email protected] :: :: GnuPG: 0x1C1E2890 :: http://www.gnupg.org/ :: :: jabberid: rogorido :: :: _______________________________________________ auctex mailing list [email protected] https://lists.gnu.org/mailman/listinfo/auctex
