Ralf Wildenhues <[email protected]> writes: > +** The `$tmp' temporary directory used in config.status is documented for > + public use now.
It would be nice to mention the version that introduced this feature. -- Ben Pfaff http://benpfaff.org
Ralf Wildenhues <[email protected]> writes: > +** The `$tmp' temporary directory used in config.status is documented for > + public use now.
It would be nice to mention the version that introduced this feature. -- Ben Pfaff http://benpfaff.org