Thu, 12 Oct 2017 11:39:54 +0200 | wenzelm | more robust: allow URLs; | changeset | files |
Thu, 12 Oct 2017 11:39:06 +0200 | wenzelm | more robust: allow Windows file names; | changeset | files |
Thu, 12 Oct 2017 11:25:06 +0200 | wenzelm | clarified signature; | changeset | files |