2013/9/19 Susan Dittmar <[email protected]>:

> I think the package is named filecontents or something like that...

Thanks. Its documentation starts off like this:  "There is a little-known
environment called filecontents ..."

Reply via email to