tree 720f989086e65c7943f2289d880cca7e2a86d838
parent a19ebdb44a2a3f7f324976f9b37dd913b1e8bb28
author Ezio Melotti <ezio.melotti@gmail.com> 1361514494 +0200
committer Ezio Melotti <ezio.melotti@gmail.com> 1361514494 +0200

#17271: update example in tempfile docs.