On Tue, Jan 31, 2012 at 2:56 AM, Sebastien Vauban <wxhgmqzgw...@spammotel.com> wrote: > Just for the sake of completeness, there is already a fourth option:
Ah! Looks like I had an older version. Thanks for prompting me to update! I guess what I'm looking for would be called ":noweb export-strip" or something like that. -- Avdi Grimm http://avdi.org
