diff website/src/manual.html.luan @ 764:d2f61d5be9cc

add file.delete_on_exit()
author Franklin Schmidt <fschmidt@gmail.com>
date Tue, 26 Jul 2016 17:22:14 -0600
parents 87970832a3c3
children 60661a8e738c
line wrap: on
line diff